The bald eagle eats the cat. The bald eagle is kind. The bald eagle is red. The bald eagle likes the cat. The cat eats the bald eagle. The cat is red. The cat is young. The cat likes the tiger. The tiger eats the cat. The tiger is green. The tiger is kind. The tiger likes the bald eagle. The tiger likes the cat. The tiger sees the bald eagle. The tiger sees the cat. If something eats the bald eagle then it likes the cat. If something sees the bald eagle and it likes the tiger then the bald eagle is red. If something eats the tiger then the tiger is rough. If something likes the bald eagle and the bald eagle is kind then it likes the tiger. If something sees the tiger then it eats the tiger. If something sees the cat then the cat sees the tiger.
The cat likes the tiger.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3 OR ((triple14 ((triple12 triple2) -> rule4)) -> rule2))] The bald eagle likes the cat.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is red.[(triple6)] The cat is young.[(triple7)] The cat likes the tiger.[(triple8)] The tiger eats the cat.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger likes the cat.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the cat.[(triple15)] @1: The cat likes the cat.[(((triple5) -> rule1))] The cat sees the tiger.[(((triple15) -> rule6))] The tiger likes the tiger.[(((triple12 triple2) -> rule4))] @2: The cat eats the tiger.[(((((triple15) -> rule6)) -> rule5))] @3: The tiger is rough.[(((((((triple15) -> rule6)) -> rule5)) -> rule3))]