The bald eagle eats the lion. The bald eagle does not eat the rabbit. The bald eagle sees the lion. The cat eats the lion. The cat is big. The lion sees the bald eagle. The lion sees the cat. The rabbit eats the lion. The rabbit is green. The rabbit needs the lion. If something eats the cat then the cat is red. If something eats the cat and the cat is blue then it is round. If something is red then it eats the cat. If something sees the lion then it eats the cat. If something needs the lion then it does not need the cat. If something eats the cat then it is blue. If something sees the cat and it sees the rabbit then it is not red. If the lion needs the bald eagle then the bald eagle is blue.
The cat eats the cat.
@0: The bald eagle does not eat the rabbit.[(triple2)] The bald eagle eats the lion.[(triple1)] The bald eagle sees the lion.[(triple3)] The cat eats the lion.[(triple4)] The cat is big.[(triple5)] The lion sees the bald eagle.[(triple6)] The lion sees the cat.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is green.[(triple9)] The rabbit needs the lion.[(triple10)] @1: The bald eagle eats the cat.[(((triple3) -> rule4))] The rabbit does not need the cat.[(((triple10) -> rule5))] @2: The bald eagle is blue.[(((((triple3) -> rule4)) -> rule6))] The cat is red.[(((((triple3) -> rule4)) -> rule1))] @3: The cat eats the cat.[(((((((triple3) -> rule4)) -> rule1)) -> rule3))] @4: The cat is blue.[(((((((((triple3) -> rule4)) -> rule1)) -> rule3)) -> rule6))] @5: The bald eagle is round.[(((((triple3) -> rule4) ((((((((triple3) -> rule4)) -> rule1)) -> rule3)) -> rule6)) -> rule2))] The cat is round.[(((((((((triple3) -> rule4)) -> rule1)) -> rule3) ((((((((triple3) -> rule4)) -> rule1)) -> rule3)) -> rule6)) -> rule2))]