The bear chases the cat. The bear is nice. The bear needs the cat. The bear sees the cat. The cat is rough. The cat needs the bear. The cat sees the bear. Big, blue people are rough. If someone is rough and nice then they need the bear. If someone is big then they chase the bear. If someone needs the bear then they need the cat. If someone chases the bear and the bear sees the cat then the cat is blue. If the cat sees the bear and the bear chases the cat then the cat is blue. If someone needs the bear then the bear needs the cat. If the bear needs the cat and the bear chases the cat then the cat needs the bear.
The bear does not need the cat.
@0: The bear chases the cat.[(triple1)] The bear is nice.[(triple2)] The bear needs the cat.[(triple3 OR ((triple6) -> rule7))] The bear sees the cat.[(triple4)] The cat is rough.[(triple5)] The cat needs the bear.[(triple6 OR ((triple3 triple1) -> rule8))] The cat sees the bear.[(triple7)] @1: The cat is blue.[(((triple7 triple1) -> rule6))] The cat needs the cat.[(((triple6) -> rule4) OR ((((triple3 triple1) -> rule8)) -> rule4))]