The bear chases the squirrel. The bear is round. The bear is young. The bear visits the cat. The cat does not chase the squirrel. The cat is nice. The cat visits the bear. The cat visits the rabbit. The rabbit does not chase the bear. The rabbit chases the cat. The rabbit does not chase the squirrel. The rabbit is round. The rabbit visits the bear. The squirrel chases the rabbit. The squirrel is round. If something visits the bear and it is round then it is not kind. If something needs the cat and the cat is not young then it chases the rabbit. If the bear visits the cat then the cat is round.
The cat is round.
@0: The bear chases the squirrel.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear visits the cat.[(triple4)] The cat does not chase the squirrel.[(triple5)] The cat is nice.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the rabbit.[(triple8)] The rabbit chases the cat.[(triple10)] The rabbit does not chase the bear.[(triple9)] The rabbit does not chase the squirrel.[(triple11)] The rabbit is round.[(triple12)] The rabbit visits the bear.[(triple13)] The squirrel chases the rabbit.[(triple14)] The squirrel is round.[(triple15)] @1: The cat is round.[(((triple4) -> rule3))] The rabbit is not kind.[(((triple13 triple12) -> rule1))] @2: The cat is not kind.[(((triple7 ((triple4) -> rule3)) -> rule1))]