The bear eats the cat. The bear does not eat the rabbit. The bear eats the squirrel. The bear is big. The bear is nice. The bear is round. The bear visits the rabbit. The bear visits the squirrel. The cat is nice. The cat is young. The cat visits the bear. The rabbit chases the bear. The rabbit chases the cat. The rabbit is cold. The squirrel is big. The squirrel is round. If the cat chases the bear then the bear eats the cat. If something is round then it chases the bear. If something is nice then it is not cold. If something is round then it eats the cat. If the squirrel eats the cat and the cat visits the squirrel then the squirrel visits the rabbit. If something is round and it does not chase the squirrel then the squirrel visits the bear.
The bear is not nice.
@0: The bear does not eat the rabbit.[(triple2)] The bear eats the cat.[(triple1 OR ((triple6) -> rule4))] The bear eats the squirrel.[(triple3)] The bear is big.[(triple4)] The bear is nice.[(triple5)] The bear is round.[(triple6)] The bear visits the rabbit.[(triple7)] The bear visits the squirrel.[(triple8)] The cat is nice.[(triple9)] The cat is young.[(triple10)] The cat visits the bear.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit is cold.[(triple14)] The squirrel is big.[(triple15)] The squirrel is round.[(triple16)] @1: The bear chases the bear.[(((triple6) -> rule2))] The bear is not cold.[(((triple5) -> rule3))] The cat is not cold.[(((triple9) -> rule3))] The squirrel chases the bear.[(((triple16) -> rule2))] The squirrel eats the cat.[(((triple16) -> rule4))]