The cow is cold. The lion is red. The lion is not rough. The lion needs the squirrel. The lion sees the squirrel. The squirrel is cold. The squirrel needs the lion. If someone eats the lion and they do not see the cow then the lion sees the squirrel. If someone is big and rough then they need the cow. If someone eats the cow and the cow is big then they see the squirrel. If someone is nice then they eat the cow. If someone is cold then they eat the cow. If someone is cold and they see the cow then they are nice. If someone is rough then they need the squirrel. If someone eats the cow then they are rough.
The cow does not need the squirrel.
@0: The cow is cold.[(triple1)] The lion is not rough.[(triple3)] The lion is red.[(triple2)] The lion needs the squirrel.[(triple4)] The lion sees the squirrel.[(triple5)] The squirrel is cold.[(triple6)] The squirrel needs the lion.[(triple7)] @1: The cow eats the cow.[(((triple1) -> rule5))] The squirrel eats the cow.[(((triple6) -> rule5))] @2: The cow is rough.[(((((triple1) -> rule5)) -> rule8))] The squirrel is rough.[(((((triple6) -> rule5)) -> rule8))] @3: The cow needs the squirrel.[(((((((triple1) -> rule5)) -> rule8)) -> rule7))] The squirrel needs the squirrel.[(((((((triple6) -> rule5)) -> rule8)) -> rule7))]