The bear is big. The bear is kind. The bear is round. The dog visits the bear. The dog visits the squirrel. The rabbit is green. The rabbit is kind. The rabbit visits the bear. The rabbit visits the squirrel. The squirrel eats the bear. The squirrel eats the dog. The squirrel is green. If the dog is big then the dog is kind. If something eats the squirrel and the squirrel visits the rabbit then it visits the dog. If the squirrel eats the bear and the bear is kind then the squirrel visits the bear. If something visits the squirrel then the squirrel needs the rabbit. If something is big and it visits the squirrel then it needs the bear. If something is round and it eats the bear then it needs the squirrel. If something eats the bear and it visits the bear then it needs the rabbit. If something needs the squirrel then the squirrel eats the rabbit.
The bear is blue.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The dog visits the bear.[(triple4)] The dog visits the squirrel.[(triple5)] The rabbit is green.[(triple6)] The rabbit is kind.[(triple7)] The rabbit visits the bear.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is green.[(triple12)] @1: The squirrel needs the rabbit.[(((triple5) -> rule4) OR ((triple9) -> rule4) OR ((triple10 ((triple10 triple2) -> rule3)) -> rule7))] The squirrel visits the bear.[(((triple10 triple2) -> rule3))]