The bear eats the cat. The cat is not red. The squirrel is nice. If someone eats the squirrel and they are nice then the squirrel is not blue. If someone eats the bear and they are red then they like the cat. If someone needs the bear then they do not like the cat. If someone is red and not nice then they eat the cat. If someone likes the bear then the bear likes the squirrel. If someone needs the squirrel then they are rough. If someone likes the bear and the bear eats the cat then the bear needs the squirrel. If someone eats the cat then the cat likes the bear.
The bear does not like the squirrel.
@0: The bear eats the cat.[(triple1)] The cat is not red.[(triple2)] The squirrel is nice.[(triple3)] @1: The cat likes the bear.[(((triple1) -> rule8))] @2: The bear likes the squirrel.[(((((triple1) -> rule8)) -> rule5))] The bear needs the squirrel.[(((((triple1) -> rule8) triple1) -> rule7))] @3: The bear is rough.[(((((((triple1) -> rule8) triple1) -> rule7)) -> rule6))]