The bald eagle likes the dog. The bald eagle likes the mouse. The cat is young. The cat likes the bald eagle. The cat likes the mouse. The cat sees the mouse. The dog is big. The dog sees the bald eagle. The dog sees the mouse. The mouse eats the dog. The mouse is round. The mouse is young. The mouse likes the cat. The mouse likes the dog. The mouse sees the dog. All cold people are round. If the dog sees the bald eagle then the dog is cold. If someone eats the cat and they see the dog then the cat likes the dog. If someone likes the mouse and they see the bald eagle then the mouse is big. If someone is round and big then they see the cat. If someone eats the mouse then they are cold.
The dog is round.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the mouse.[(triple2)] The cat is young.[(triple3)] The cat likes the bald eagle.[(triple4)] The cat likes the mouse.[(triple5)] The cat sees the mouse.[(triple6)] The dog is big.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the mouse.[(triple9)] The mouse eats the dog.[(triple10)] The mouse is round.[(triple11)] The mouse is young.[(triple12)] The mouse likes the cat.[(triple13)] The mouse likes the dog.[(triple14)] The mouse sees the dog.[(triple15)] @1: The dog is cold.[(((triple8) -> rule2))] @2: The dog is round.[(((((triple8) -> rule2)) -> rule1))] @3: The dog sees the cat.[(((((((triple8) -> rule2)) -> rule1) triple7) -> rule5))]