The bear chases the rabbit. The bear is round. The cow is nice. The cow is young. The rabbit chases the bear. The rabbit needs the bear. The rabbit needs the cow. The rabbit needs the squirrel. The rabbit visits the cow. The squirrel chases the bear. The squirrel needs the rabbit. The squirrel visits the cow. If someone visits the rabbit then the rabbit is round. If someone needs the cow then they need the squirrel. If someone is young then they need the squirrel. If someone chases the bear then the bear is round. If someone is blue and round then they chase the bear. If someone is big and nice then they are blue. If the squirrel chases the rabbit then the rabbit visits the cow. If someone needs the cow then the cow is blue.
The cow is not nice.
@0: The bear chases the rabbit.[(triple1)] The bear is round.[(triple2 OR ((triple10) -> rule4) OR ((triple5) -> rule4))] The cow is nice.[(triple3)] The cow is young.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit needs the bear.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit needs the squirrel.[(triple8 OR ((triple7) -> rule2))] The rabbit visits the cow.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The cow is blue.[(((triple7) -> rule8))] The cow needs the squirrel.[(((triple4) -> rule3))]