The bear chases the cat. The bear is blue. The bear is cold. The bear is nice. The bear is red. The bear is young. The bear needs the cat. The bear sees the cat. The cat chases the bear. The cat is blue. The cat is cold. The cat is nice. The cat is red. The cat is young. The cat needs the bear. The cat sees the bear. If someone chases the bear then they need the cat. If the bear is young then the bear sees the cat. If someone needs the bear then the bear chases the cat. If the bear is young then the bear needs the cat. If someone sees the cat and the cat is blue then the cat sees the bear. If someone is blue then they need the bear.
The cat is not young.
@0: The bear chases the cat.[(triple1 OR ((triple15) -> rule3) OR ((((triple10) -> rule6)) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear needs the cat.[(triple7 OR ((triple6) -> rule4))] The bear sees the cat.[(triple8 OR ((triple6) -> rule2))] The cat chases the bear.[(triple9)] The cat is blue.[(triple10)] The cat is cold.[(triple11)] The cat is nice.[(triple12)] The cat is red.[(triple13)] The cat is young.[(triple14)] The cat needs the bear.[(triple15 OR ((triple10) -> rule6))] The cat sees the bear.[(triple16 OR ((triple8 triple10) -> rule5) OR ((((triple6) -> rule2) triple10) -> rule5))] @1: The bear needs the bear.[(((triple2) -> rule6))] The cat needs the cat.[(((triple9) -> rule1))]