The cat needs the mouse. The cat visits the lion. The lion is cold. The lion is red. The lion is round. The lion likes the squirrel. The lion needs the squirrel. The lion visits the squirrel. The mouse is cold. The mouse needs the lion. The mouse visits the lion. The squirrel likes the lion. If something needs the mouse and it needs the lion then the lion needs the mouse. If something visits the lion then it needs the cat. If the mouse visits the squirrel then the squirrel likes the cat. If something is rough then it is cold. If the squirrel is cold then the squirrel visits the cat. If something visits the cat then the cat likes the mouse. If something visits the squirrel then the squirrel is rough. If something likes the mouse then it does not need the squirrel. If something is red and it does not need the squirrel then it visits the mouse.
The squirrel is cold.
@0: The cat needs the mouse.[(triple1)] The cat visits the lion.[(triple2)] The lion is cold.[(triple3)] The lion is red.[(triple4)] The lion is round.[(triple5)] The lion likes the squirrel.[(triple6)] The lion needs the squirrel.[(triple7)] The lion visits the squirrel.[(triple8)] The mouse is cold.[(triple9)] The mouse needs the lion.[(triple10)] The mouse visits the lion.[(triple11)] The squirrel likes the lion.[(triple12)] @1: The cat needs the cat.[(((triple2) -> rule2))] The mouse needs the cat.[(((triple11) -> rule2))] The squirrel is rough.[(((triple8) -> rule7))] @2: The squirrel is cold.[(((((triple8) -> rule7)) -> rule4))] @3: The squirrel visits the cat.[(((((((triple8) -> rule7)) -> rule4)) -> rule5))] @4: The cat likes the mouse.[(((((((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule6))] @5: The cat does not need the squirrel.[(((((((((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule6)) -> rule8))]