The bear is kind. The bear is round. The bear needs the cat. The bear needs the squirrel. The bear visits the squirrel. The cat is blue. The cat needs the squirrel. The cat visits the dog. The dog eats the cat. The dog visits the bear. The dog visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel needs the bear. The squirrel needs the dog. The squirrel visits the dog. If someone needs the cat then the cat is blue. If someone needs the bear and the bear needs the squirrel then the squirrel is round. If someone is round then they eat the cat.
The bear is big.
@0: The bear is kind.[(triple1)] The bear is round.[(triple2)] The bear needs the cat.[(triple3)] The bear needs the squirrel.[(triple4)] The bear visits the squirrel.[(triple5)] The cat is blue.[(triple6 OR ((triple3) -> rule1))] The cat needs the squirrel.[(triple7)] The cat visits the dog.[(triple8)] The dog eats the cat.[(triple9)] The dog visits the bear.[(triple10)] The dog visits the squirrel.[(triple11)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The bear eats the cat.[(((triple2) -> rule3))] The squirrel is round.[(((triple14 triple4) -> rule2))] @2: The squirrel eats the cat.[(((((triple14 triple4) -> rule2)) -> rule3))]