The bear needs the cow. The cow is big. The rabbit is red. The rabbit is not rough. The rabbit needs the bear. The squirrel needs the bear. The squirrel needs the rabbit. If the bear does not need the squirrel then the squirrel needs the bear. If someone chases the cow then they chase the bear. If someone sees the rabbit then they chase the cow. If someone is big and not rough then they see the rabbit. If someone needs the rabbit then the rabbit is big. If someone needs the squirrel then the squirrel chases the cow. If someone chases the rabbit and they do not need the rabbit then they are red. If someone is cold and not nice then they are big. If the squirrel needs the rabbit and the rabbit chases the bear then the squirrel is cold.
The rabbit chases the cow.
@0: The bear needs the cow.[(triple1)] The cow is big.[(triple2)] The rabbit is not rough.[(triple4)] The rabbit is red.[(triple3)] The rabbit needs the bear.[(triple5)] The squirrel needs the bear.[(triple6)] The squirrel needs the rabbit.[(triple7)] @1: The rabbit is big.[(((triple7) -> rule5))] @2: The rabbit sees the rabbit.[(((((triple7) -> rule5) triple4) -> rule4))] @3: The rabbit chases the cow.[(((((((triple7) -> rule5) triple4) -> rule4)) -> rule3))] @4: The rabbit chases the bear.[(((((((((triple7) -> rule5) triple4) -> rule4)) -> rule3)) -> rule2))] @5: The squirrel is cold.[(((triple7 ((((((((triple7) -> rule5) triple4) -> rule4)) -> rule3)) -> rule2)) -> rule9))]