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