The cat chases the tiger. The cat eats the tiger. The cat is big. The cat is blue. The cat is cold. The cat is kind. The cat is red. The cat likes the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is big. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is red. The tiger likes the cat. If the tiger likes the cat then the cat likes the tiger. If something is big then it chases the tiger. If something chases the tiger and the tiger chases the cat then the cat is cold.
The tiger does not eat the tiger.
@0: The cat chases the tiger.[(triple1 OR ((triple3) -> rule2))] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5 OR ((triple1 triple9) -> rule3) OR ((((triple11) -> rule2) triple9) -> rule3) OR ((((triple3) -> rule2) triple9) -> rule3))] The cat is kind.[(triple6)] The cat is red.[(triple7)] The cat likes the tiger.[(triple8 OR ((triple16) -> rule1))] The tiger chases the cat.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is kind.[(triple14)] The tiger is red.[(triple15)] The tiger likes the cat.[(triple16)] @1: The tiger chases the tiger.[(((triple11) -> rule2))]