The bald eagle eats the cat. The bald eagle is blue. The bald eagle is nice. The cat eats the bald eagle. The cat likes the lion. The cat sees the lion. The lion is blue. The lion is green. The lion likes the cat. The lion sees the bald eagle. If the lion is nice then the lion is blue. If something sees the cat and the cat likes the lion then the lion is nice. If something is nice then it eats the bald eagle. If something sees the bald eagle then the bald eagle sees the cat. If the lion sees the cat and the cat sees the lion then the lion likes the bald eagle. If something likes the cat and the cat eats the bald eagle then the bald eagle likes the cat.
The cat is blue.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat likes the lion.[(triple5)] The cat sees the lion.[(triple6)] The lion is blue.[(triple7 OR ((((((triple10) -> rule4) triple5) -> rule2)) -> rule1))] The lion is green.[(triple8)] The lion likes the cat.[(triple9)] The lion sees the bald eagle.[(triple10)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule3))] The bald eagle likes the cat.[(((triple9 triple4) -> rule6))] The bald eagle sees the cat.[(((triple10) -> rule4))] @2: The lion is nice.[(((((triple10) -> rule4) triple5) -> rule2))] @3: The lion eats the bald eagle.[(((((((triple10) -> rule4) triple5) -> rule2)) -> rule3))]