The bear is cold. The bear is nice. The bear likes the dog. The bear likes the squirrel. The bear visits the squirrel. The dog is green. The dog is red. The dog likes the bear. The dog likes the squirrel. The dog needs the squirrel. The dog visits the squirrel. The squirrel is cold. The squirrel is red. The squirrel likes the dog. The squirrel visits the bear. The squirrel visits the dog. If someone likes the dog and the dog visits the squirrel then they need the dog. If someone needs the dog then they are green. If the squirrel visits the dog and the squirrel likes the dog then the dog needs the squirrel. If someone is nice then they visit the squirrel. If someone likes the bear and they are big then they like the squirrel. If someone needs the dog then the dog is cold. If someone likes the bear and they are cold then they need the dog. If someone likes the bear then they visit the dog.
The bear needs the bear.
@0: The bear is cold.[(triple1)] The bear is nice.[(triple2)] The bear likes the dog.[(triple3)] The bear likes the squirrel.[(triple4)] The bear visits the squirrel.[(triple5 OR ((triple2) -> rule4))] The dog is green.[(triple6 OR ((((triple8 ((((triple14 triple11) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((((triple8 ((((triple3 triple11) -> rule1)) -> rule6)) -> rule7)) -> rule2))] The dog is red.[(triple7)] The dog likes the bear.[(triple8)] The dog likes the squirrel.[(triple9)] The dog needs the squirrel.[(triple10 OR ((triple16 triple14) -> rule3))] The dog visits the squirrel.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is red.[(triple13)] The squirrel likes the dog.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The bear needs the dog.[(((triple3 triple11) -> rule1))] The dog visits the dog.[(((triple8) -> rule8))] The squirrel needs the dog.[(((triple14 triple11) -> rule1))] @2: The bear is green.[(((((triple3 triple11) -> rule1)) -> rule2))] The dog is cold.[(((((triple14 triple11) -> rule1)) -> rule6) OR ((((triple3 triple11) -> rule1)) -> rule6))] The squirrel is green.[(((((triple14 triple11) -> rule1)) -> rule2))] @3: The dog needs the dog.[(((triple8 ((((triple14 triple11) -> rule1)) -> rule6)) -> rule7) OR ((triple8 ((((triple3 triple11) -> rule1)) -> rule6)) -> rule7))]