The cat chases the dog. The cat sees the dog. The dog is rough. The dog needs the cat. The lion chases the cat. The mouse needs the dog. The mouse sees the cat. If something is cold then it sees the mouse. If something is rough and it needs the cat then the cat chases the mouse. If the dog needs the cat and the dog sees the cat then the cat sees the lion. If something needs the cat then the cat needs the lion. If something sees the cat and it is cold then it sees the dog. If something is kind and it needs the mouse then the mouse is kind. If something needs the mouse then the mouse is rough. If something chases the dog and it chases the mouse then the mouse is cold.
The mouse is not cold.
@0: The cat chases the dog.[(triple1)] The cat sees the dog.[(triple2)] The dog is rough.[(triple3)] The dog needs the cat.[(triple4)] The lion chases the cat.[(triple5)] The mouse needs the dog.[(triple6)] The mouse sees the cat.[(triple7)] @1: The cat chases the mouse.[(((triple3 triple4) -> rule2))] The cat needs the lion.[(((triple4) -> rule4))] @2: The mouse is cold.[(((triple1 ((triple3 triple4) -> rule2)) -> rule8))] @3: The mouse sees the dog.[(((triple7 ((triple1 ((triple3 triple4) -> rule2)) -> rule8)) -> rule5))] The mouse sees the mouse.[(((((triple1 ((triple3 triple4) -> rule2)) -> rule8)) -> rule1))]