The bear eats the cat. The bear is cold. The bear is green. The bear is kind. The bear is rough. The bear sees the cat. The bear visits the cat. The cat eats the bear. The cat is blue. The cat is cold. The cat is green. The cat is kind. The cat is rough. The cat sees the bear. The cat visits the bear. If someone visits the cat and the cat visits the bear then they see the bear. If someone eats the cat and the cat visits the bear then the cat is rough. If someone visits the bear and the bear sees the cat then the cat visits the bear. If someone sees the bear and they are kind then the bear sees the cat. If someone eats the cat then they are cold. If the cat visits the bear and the cat is green then the cat is blue. If someone eats the cat then the cat is cold. If someone visits the bear then they are kind.
The bear is blue.
@0: The bear eats the cat.[(triple1)] The bear is cold.[(triple2 OR ((triple1) -> rule5))] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear sees the cat.[(triple6 OR ((triple14 triple12) -> rule4) OR ((triple14 ((triple15) -> rule8)) -> rule4) OR ((((triple7 triple15) -> rule1) triple4) -> rule4))] The bear visits the cat.[(triple7)] The cat eats the bear.[(triple8)] The cat is blue.[(triple9 OR ((triple15 triple11) -> rule6))] The cat is cold.[(triple10 OR ((triple1) -> rule7))] The cat is green.[(triple11)] The cat is kind.[(triple12 OR ((triple15) -> rule8))] The cat is rough.[(triple13 OR ((triple1 triple15) -> rule2))] The cat sees the bear.[(triple14)] The cat visits the bear.[(triple15)] @1: The bear sees the bear.[(((triple7 triple15) -> rule1))]