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