The bear is cold. The bear is green. The bear is kind. The bear is round. 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 kind. The cat is round. The cat needs the bear. The cat sees the bear. The cat visits the bear. If someone needs the bear and they visit the bear then they see the cat. If someone is cold and big then they are round. If the cat needs the bear then the bear sees the cat. If someone visits the cat and the cat sees the bear then the cat visits the bear. If someone is kind then they visit the cat. If someone needs the cat and the cat needs the bear then they see the bear. If someone is kind and they see the bear then they see the cat. If someone visits the bear then the bear visits the cat.
The bear is big.
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear needs the cat.[(triple5)] The bear sees the cat.[(triple6 OR ((triple13) -> rule3) OR ((triple3 ((triple5 triple13) -> rule6)) -> rule7))] The bear visits the cat.[(triple7 OR ((triple15) -> rule8) OR ((triple3) -> rule5) OR ((((((triple11) -> rule5) triple14) -> rule4)) -> rule8))] The cat is big.[(triple8)] The cat is cold.[(triple9)] The cat is green.[(triple10)] The cat is kind.[(triple11)] The cat is round.[(triple12 OR ((triple9 triple8) -> rule2))] The cat needs the bear.[(triple13)] The cat sees the bear.[(triple14)] The cat visits the bear.[(triple15 OR ((triple7 triple14) -> rule4) OR ((((triple11) -> rule5) triple14) -> rule4) OR ((((triple3) -> rule5) triple14) -> rule4))] @1: The bear sees the bear.[(((triple5 triple13) -> rule6))] The cat sees the cat.[(((triple11 triple14) -> rule7) OR ((triple13 triple15) -> rule1) OR ((triple13 ((triple7 triple14) -> rule4)) -> rule1) OR ((triple13 ((((triple11) -> rule5) triple14) -> rule4)) -> rule1) OR ((triple13 ((((triple3) -> rule5) triple14) -> rule4)) -> rule1))] The cat visits the cat.[(((triple11) -> rule5))]