The cat is cold. The cat sees the cow. The cow is cold. The cow is kind. The cow is nice. The cow is red. The cow likes the mouse. The cow likes the squirrel. The mouse is young. The mouse needs the cat. The mouse needs the cow. The mouse sees the squirrel. The squirrel likes the cat. The squirrel needs the mouse. The squirrel sees the cat. If someone is cold and they like the mouse then the mouse likes the cat. If someone needs the mouse then they are cold. If someone likes the mouse then the mouse likes the cow. If someone is red and they see the cow then they need the cat. If someone likes the cow then they need the mouse. If the mouse likes the cow and the cow sees the mouse then the mouse is nice.
The cat likes the cow.
@0: The cat is cold.[(triple1)] The cat sees the cow.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] The cow likes the mouse.[(triple7)] The cow likes the squirrel.[(triple8)] The mouse is young.[(triple9)] The mouse needs the cat.[(triple10)] The mouse needs the cow.[(triple11)] The mouse sees the squirrel.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel needs the mouse.[(triple14)] The squirrel sees the cat.[(triple15)] @1: The mouse likes the cat.[(((triple3 triple7) -> rule1))] The mouse likes the cow.[(((triple7) -> rule3))] The squirrel is cold.[(((triple14) -> rule2))] @2: The mouse needs the mouse.[(((((triple7) -> rule3)) -> rule5))] @3: The mouse is cold.[(((((((triple7) -> rule3)) -> rule5)) -> rule2))]