The bear needs the dog. The bear sees the cat. The bear visits the cat. The cat needs the squirrel. The dog sees the squirrel. The dog visits the bear. The squirrel is blue. The squirrel is red. The squirrel is young. The squirrel needs the bear. The squirrel needs the cat. The squirrel visits the cat. If something visits the bear then the bear visits the squirrel. If something needs the bear then it is big. If something visits the squirrel then it is red. If the bear needs the squirrel and the bear needs the cat then the squirrel visits the dog. If something visits the cat and it is big then the cat visits the dog. If something sees the bear then it is big. If something visits the cat then the cat is cold. If something visits the cat then the cat sees the squirrel.
The squirrel is young.
@0: The bear needs the dog.[(triple1)] The bear sees the cat.[(triple2)] The bear visits the cat.[(triple3)] The cat needs the squirrel.[(triple4)] The dog sees the squirrel.[(triple5)] The dog visits the bear.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is red.[(triple8)] The squirrel is young.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel needs the cat.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The bear visits the squirrel.[(((triple6) -> rule1))] The cat is cold.[(((triple12) -> rule7) OR ((triple3) -> rule7))] The cat sees the squirrel.[(((triple12) -> rule8) OR ((triple3) -> rule8))] The squirrel is big.[(((triple10) -> rule2))] @2: The bear is red.[(((((triple6) -> rule1)) -> rule3))] The cat visits the dog.[(((triple12 ((triple10) -> rule2)) -> rule5))]