The dog does not chase the lion. The lion is rough. The mouse is cold. The squirrel does not eat the dog. If something is rough and it sees the mouse then it chases the dog. If something sees the dog then the dog is not red. If the squirrel is kind and the squirrel eats the dog then the dog is kind. If the mouse eats the squirrel and the squirrel is nice then the squirrel is kind. If something chases the mouse then it is kind. Cold things are kind. Kind things are nice. If the mouse is nice then the mouse sees the lion.
The mouse is not cold.
@0: The dog does not chase the lion.[(triple1)] The lion is rough.[(triple2)] The mouse is cold.[(triple3)] The squirrel does not eat the dog.[(triple4)] @1: The mouse is kind.[(((triple3) -> rule6))] @2: The mouse is nice.[(((((triple3) -> rule6)) -> rule7))] @3: The mouse sees the lion.[(((((((triple3) -> rule6)) -> rule7)) -> rule8))]