The bald eagle eats the cow. The bald eagle is blue. The cat visits the bald eagle. The cat visits the rabbit. The cow is blue. The cow sees the rabbit. The rabbit eats the bald eagle. The rabbit is cold. The rabbit sees the cow. The rabbit visits the cat. If something visits the cow and it sees the cow then it visits the bald eagle. If something is nice then it is big. If something visits the bald eagle then it is nice. If something is cold and it visits the cow then the cow sees the cat. If something is round and it eats the bald eagle then it sees the bald eagle. If something visits the cat then it visits the rabbit. If something visits the rabbit and it sees the cow then it visits the cow.
The cat is not nice.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is blue.[(triple2)] The cat visits the bald eagle.[(triple3)] The cat visits the rabbit.[(triple4)] The cow is blue.[(triple5)] The cow sees the rabbit.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit is cold.[(triple8)] The rabbit sees the cow.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The cat is nice.[(((triple3) -> rule3))] The rabbit visits the rabbit.[(((triple10) -> rule6))] @2: The cat is big.[(((((triple3) -> rule3)) -> rule2))] The rabbit visits the cow.[(((((triple10) -> rule6) triple9) -> rule7))] @3: The cow sees the cat.[(((triple8 ((((triple10) -> rule6) triple9) -> rule7)) -> rule4))] The rabbit visits the bald eagle.[(((((((triple10) -> rule6) triple9) -> rule7) triple9) -> rule1))] @4: The rabbit is nice.[(((((((((triple10) -> rule6) triple9) -> rule7) triple9) -> rule1)) -> rule3))] @5: The rabbit is big.[(((((((((((triple10) -> rule6) triple9) -> rule7) triple9) -> rule1)) -> rule3)) -> rule2))]