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 nice. The cat is young. The cat likes the tiger. The tiger chases the cat. The tiger is nice. The tiger is young. The tiger likes the cat. If something chases the cat and the cat is cold then the cat chases the tiger. If the cat chases the tiger then the cat is cold. If something chases the cat and the cat is young then the cat likes the tiger. If something is blue then it likes the tiger. If something is cold and it eats the cat then it is nice. If something is big then it likes the cat. All nice things are big. If the tiger likes the cat then the tiger eats the cat.
The cat eats the cat.
@0: The cat chases the tiger.[(triple1 OR ((triple9 triple5) -> rule1))] The cat eats the tiger.[(triple2)] The cat is big.[(triple3 OR ((triple6) -> rule7))] The cat is blue.[(triple4)] The cat is cold.[(triple5 OR ((triple1) -> rule2))] The cat is nice.[(triple6)] The cat is young.[(triple7)] The cat likes the tiger.[(triple8 OR ((triple4) -> rule4) OR ((triple9 triple7) -> rule3))] The tiger chases the cat.[(triple9)] The tiger is nice.[(triple10)] The tiger is young.[(triple11)] The tiger likes the cat.[(triple12 OR ((((triple10) -> rule7)) -> rule6))] @1: The cat likes the cat.[(((triple3) -> rule6) OR ((((triple6) -> rule7)) -> rule6))] The tiger eats the cat.[(((triple12) -> rule8) OR ((((((triple10) -> rule7)) -> rule6)) -> rule8))] The tiger is big.[(((triple10) -> rule7))]