The bald eagle chases the cat. The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle is blue. The bald eagle sees the cat. The cat needs the bald eagle. The cow chases the cat. The cow is not young. The mouse chases the bald eagle. The mouse does not chase the cow. The mouse does not need the cow. The mouse sees the cat. If something is kind then it sees the mouse. Blue things are cold. If something sees the mouse then it is blue. If something chases the mouse and it sees the cat then the cat does not see the cow. If something is nice and it needs the mouse then it chases the cow. If something sees the cat then the cat is kind. If something chases the cow and it needs the bald eagle then the bald eagle sees the cow. If the bald eagle is cold then the bald eagle does not see the cow. If the cat is cold and the cat needs the bald eagle then the cat needs the cow.
The cat is cold.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle chases the mouse.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle sees the cat.[(triple5)] The cat needs the bald eagle.[(triple6)] The cow chases the cat.[(triple7)] The cow is not young.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse does not chase the cow.[(triple10)] The mouse does not need the cow.[(triple11)] The mouse sees the cat.[(triple12)] @1: The bald eagle is cold.[(((triple4) -> rule2))] The cat does not see the cow.[(((triple3 triple5) -> rule4))] The cat is kind.[(((triple12) -> rule6) OR ((triple5) -> rule6))] @2: The bald eagle does not see the cow.[(((((triple4) -> rule2)) -> rule8))] The cat sees the mouse.[(((((triple12) -> rule6)) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] @3: The cat is blue.[(((((((triple12) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5) -> rule6)) -> rule1)) -> rule3))] @4: The cat is cold.[(((((((((triple12) -> rule6)) -> rule1)) -> rule3)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule1)) -> rule3)) -> rule2))] @5: The cat needs the cow.[(((((((((((triple12) -> rule6)) -> rule1)) -> rule3)) -> rule2) triple6) -> rule9) OR ((((((((((triple5) -> rule6)) -> rule1)) -> rule3)) -> rule2) triple6) -> rule9))]