The bald eagle sees the cat. The cat eats the dog. The cat is big. The cat is kind. The dog eats the bald eagle. The dog eats the cat. The dog is kind. The dog sees the lion. The lion eats the bald eagle. The lion is green. The lion is nice. The lion sees the dog. Cold things are green. If something sees the lion then it needs the dog. If something needs the bald eagle then it sees the lion. If something is nice then it sees the lion. If something is big then it sees the cat. If something is green and it needs the dog then it eats the cat. If something is green and it eats the cat then the cat needs the bald eagle. If something eats the bald eagle then the bald eagle is nice.
The lion does not eat the cat.
@0: The bald eagle sees the cat.[(triple1)] The cat eats the dog.[(triple2)] The cat is big.[(triple3)] The cat is kind.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the cat.[(triple6)] The dog is kind.[(triple7)] The dog sees the lion.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion is green.[(triple10)] The lion is nice.[(triple11)] The lion sees the dog.[(triple12)] @1: The bald eagle is nice.[(((triple5) -> rule8) OR ((triple9) -> rule8))] The cat sees the cat.[(((triple3) -> rule5))] The dog needs the dog.[(((triple8) -> rule2))] The lion sees the lion.[(((triple11) -> rule4))] @2: The bald eagle sees the lion.[(((((triple5) -> rule8)) -> rule4) OR ((((triple9) -> rule8)) -> rule4))] The lion needs the dog.[(((((triple11) -> rule4)) -> rule2))] @3: The bald eagle needs the dog.[(((((((triple5) -> rule8)) -> rule4)) -> rule2) OR ((((((triple9) -> rule8)) -> rule4)) -> rule2))] The lion eats the cat.[(((triple10 ((((triple11) -> rule4)) -> rule2)) -> rule6))] @4: The cat needs the bald eagle.[(((triple10 ((triple10 ((((triple11) -> rule4)) -> rule2)) -> rule6)) -> rule7))] @5: The cat sees the lion.[(((((triple10 ((triple10 ((((triple11) -> rule4)) -> rule2)) -> rule6)) -> rule7)) -> rule3))] @6: The cat needs the dog.[(((((((triple10 ((triple10 ((((triple11) -> rule4)) -> rule2)) -> rule6)) -> rule7)) -> rule3)) -> rule2))]