The bear is big. The bear is cold. The bear is green. The bear is nice. The bear is red. The bear needs the cat. The bear sees the cat. The bear visits the cat. The cat is cold. The cat is nice. The cat sees the bear. The cat visits the bear. If something visits the cat and it sees the cat then the cat sees the bear. If something is red and it visits the bear then it sees the cat. If something needs the cat then the cat sees the bear. If something needs the bear and the bear needs the cat then the cat needs the bear. If something visits the cat then it sees the bear. If the bear needs the cat and the cat needs the bear then the cat is green.
The cat does not need the bear.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear needs the cat.[(triple6)] The bear sees the cat.[(triple7)] The bear visits the cat.[(triple8)] The cat is cold.[(triple9)] The cat is nice.[(triple10)] The cat sees the bear.[(triple11 OR ((triple6) -> rule3) OR ((triple8 triple7) -> rule1))] The cat visits the bear.[(triple12)] @1: The bear sees the bear.[(((triple8) -> rule5))]