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