The bald eagle is young. The cat is nice. The cat is young. The cat likes the rabbit. The lion likes the rabbit. The lion sees the rabbit. The rabbit chases the bald eagle. The rabbit does not chase the cat. The rabbit is not blue. The rabbit is green. The rabbit is red. The rabbit sees the lion. If something sees the cat then it sees the bald eagle. If something sees the bald eagle then the bald eagle chases the rabbit. If the lion likes the rabbit then the rabbit sees the cat.
The rabbit sees the bald eagle.
@0: The bald eagle is young.[(triple1)] The cat is nice.[(triple2)] The cat is young.[(triple3)] The cat likes the rabbit.[(triple4)] The lion likes the rabbit.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit does not chase the cat.[(triple8)] The rabbit is green.[(triple10)] The rabbit is not blue.[(triple9)] The rabbit is red.[(triple11)] The rabbit sees the lion.[(triple12)] @1: The rabbit sees the cat.[(((triple5) -> rule3))] @2: The rabbit sees the bald eagle.[(((((triple5) -> rule3)) -> rule1))] @3: The bald eagle chases the rabbit.[(((((((triple5) -> rule3)) -> rule1)) -> rule2))]