The bear chases the cat. The bear is blue. The bear is cold. The bear is green. The bear is nice. The bear needs the cat. The bear visits the cat. The cat chases the bear. The cat needs the bear. The cat visits the bear. If something visits the bear then the bear is blue. If something visits the cat and the cat chases the bear then the bear visits the cat. If something visits the bear and the bear chases the cat then it needs the cat. Red things are cold. If something is blue and red then it chases the cat. If something visits the cat then the cat needs the bear.
The bear is red.
@0: The bear chases the cat.[(triple1)] The bear is blue.[(triple2 OR ((triple10) -> rule1))] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is nice.[(triple5)] The bear needs the cat.[(triple6)] The bear visits the cat.[(triple7)] The cat chases the bear.[(triple8)] The cat needs the bear.[(triple9 OR ((triple7) -> rule6))] The cat visits the bear.[(triple10)] @1: The cat needs the cat.[(((triple10 triple1) -> rule3))]