The cat is big. The cat is blue. The cat is round. 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 red. The tiger is round. The tiger likes the cat. If something likes the cat then the cat chases the tiger. If the tiger likes the cat and the tiger eats the cat then the tiger chases the cat.
The cat does not like the cat.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is round.[(triple3)] The cat likes the tiger.[(triple4)] The tiger chases the cat.[(triple5 OR ((triple12 triple6) -> rule2))] The tiger eats the cat.[(triple6)] The tiger is big.[(triple7)] The tiger is blue.[(triple8)] The tiger is cold.[(triple9)] The tiger is red.[(triple10)] The tiger is round.[(triple11)] The tiger likes the cat.[(triple12)] @1: The cat chases the tiger.[(((triple12) -> rule1))]