The bald eagle is nice. The bald eagle is round. The bald eagle likes the lion. The bald eagle visits the dog. The cat is green. The cat is nice. The cat is round. The cat likes the bald eagle. The cat likes the dog. The cat visits the dog. The dog eats the cat. The dog is big. The dog is blue. The lion is blue. If something is nice and green then it visits the bald eagle. If something is big then it eats the lion. If the bald eagle visits the lion then the lion is nice. If the bald eagle likes the cat then the bald eagle visits the dog. Round things are big. If something eats the cat and the cat eats the dog then the cat eats the lion. If something visits the dog and it eats the lion then the lion is round.
The bald eagle is big.
@0: The bald eagle is nice.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle visits the dog.[(triple4)] The cat is green.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the dog.[(triple9)] The cat visits the dog.[(triple10)] The dog eats the cat.[(triple11)] The dog is big.[(triple12)] The dog is blue.[(triple13)] The lion is blue.[(triple14)] @1: The bald eagle is big.[(((triple2) -> rule5))] The cat is big.[(((triple7) -> rule5))] The cat visits the bald eagle.[(((triple6 triple5) -> rule1))] The dog eats the lion.[(((triple12) -> rule2))] @2: The bald eagle eats the lion.[(((((triple2) -> rule5)) -> rule2))] The cat eats the lion.[(((((triple7) -> rule5)) -> rule2))] @3: The lion is round.[(((triple10 ((((triple7) -> rule5)) -> rule2)) -> rule7) OR ((triple4 ((((triple2) -> rule5)) -> rule2)) -> rule7))] @4: The lion is big.[(((((triple10 ((((triple7) -> rule5)) -> rule2)) -> rule7)) -> rule5) OR ((((triple4 ((((triple2) -> rule5)) -> rule2)) -> rule7)) -> rule5))] @5: The lion eats the lion.[(((((((triple10 ((((triple7) -> rule5)) -> rule2)) -> rule7)) -> rule5)) -> rule2) OR ((((((triple4 ((((triple2) -> rule5)) -> rule2)) -> rule7)) -> rule5)) -> rule2))]