The bald eagle is cold. The bald eagle is kind. The bald eagle is young. The bald eagle sees the cat. The bald eagle visits the cat. The bald eagle visits the dog. The cat is kind. The cat sees the dog. The dog eats the bald eagle. The dog eats the cat. The dog is cold. The dog is round. The dog sees the bald eagle. The dog sees the cat. The dog visits the bald eagle. The dog visits the cat. If the dog visits the cat then the cat eats the dog. If something is kind then it sees the dog. If the bald eagle sees the dog then the dog is cold. If something visits the cat and the cat eats the dog then the dog is kind. If something eats the cat and it is round then the cat is rough. If something visits the cat and the cat visits the bald eagle then the cat visits the dog.
The dog sees the cat.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the cat.[(triple4)] The bald eagle visits the cat.[(triple5)] The bald eagle visits the dog.[(triple6)] The cat is kind.[(triple7)] The cat sees the dog.[(triple8 OR ((triple7) -> rule2))] The dog eats the bald eagle.[(triple9)] The dog eats the cat.[(triple10)] The dog is cold.[(triple11 OR ((((triple2) -> rule2)) -> rule3))] The dog is round.[(triple12)] The dog sees the bald eagle.[(triple13)] The dog sees the cat.[(triple14)] The dog visits the bald eagle.[(triple15)] The dog visits the cat.[(triple16)] @1: The bald eagle sees the dog.[(((triple2) -> rule2))] The cat eats the dog.[(((triple16) -> rule1))] The cat is rough.[(((triple10 triple12) -> rule5))] @2: The dog is kind.[(((triple16 ((triple16) -> rule1)) -> rule4) OR ((triple5 ((triple16) -> rule1)) -> rule4))] @3: The dog sees the dog.[(((((triple16 ((triple16) -> rule1)) -> rule4)) -> rule2) OR ((((triple5 ((triple16) -> rule1)) -> rule4)) -> rule2))]