The cat chases the cow. The cat chases the mouse. The cat is green. The cat is kind. The cat is nice. The cow is nice. The cow likes the mouse. The cow visits the cat. The mouse chases the cow. The mouse likes the cat. All nice, rough things are cold. If the cat chases the mouse then the mouse is kind. If something likes the cow then it is rough. If something is cold then it chases the cat. If the mouse is kind then the mouse likes the cow. If something likes the cow and the cow likes the cat then the cow is green.
The cat is not cold.
@0: The cat chases the cow.[(triple1)] The cat chases the mouse.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cow is nice.[(triple6)] The cow likes the mouse.[(triple7)] The cow visits the cat.[(triple8)] The mouse chases the cow.[(triple9)] The mouse likes the cat.[(triple10)] @1: The mouse is kind.[(((triple2) -> rule2))] @2: The mouse likes the cow.[(((((triple2) -> rule2)) -> rule5))] @3: The mouse is rough.[(((((((triple2) -> rule2)) -> rule5)) -> rule3))]