The bear is red. The cow does not need the rabbit. The rabbit is nice. The squirrel is not round. If something chases the bear then the bear is not round. If something is red then it chases the cow. If something needs the rabbit then the rabbit needs the squirrel. If something needs the rabbit and it is nice then it needs the cow. If something chases the cow then it chases the bear. If something needs the squirrel then it is young. If something is rough and it does not need the cow then the cow does not like the rabbit. If something chases the rabbit and it does not like the rabbit then it chases the squirrel.
The bear does not chase the bear.
@0: The bear is red.[(triple1)] The cow does not need the rabbit.[(triple2)] The rabbit is nice.[(triple3)] The squirrel is not round.[(triple4)] @1: The bear chases the cow.[(((triple1) -> rule2))] @2: The bear chases the bear.[(((((triple1) -> rule2)) -> rule5))] @3: The bear is not round.[(((((((triple1) -> rule2)) -> rule5)) -> rule1))]