The bear is big. The bear is blue. The bear is cold. The bear is green. The bear is rough. The bear needs the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is rough. The rabbit needs the bear. The rabbit sees the bear. The rabbit visits the bear. If the bear visits the rabbit then the bear sees the rabbit. If something is rough then it visits the bear. If something is cold then it visits the bear. If something visits the rabbit then the rabbit sees the bear. If the bear is blue then the bear visits the rabbit. If something visits the rabbit and it needs the bear then the bear is blue. If something visits the bear then it needs the bear. If something needs the bear and it visits the rabbit then it visits the bear.
The rabbit needs the rabbit.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2 OR ((triple8 ((((triple3) -> rule3)) -> rule7)) -> rule6) OR ((triple8 ((((triple5) -> rule2)) -> rule7)) -> rule6))] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is rough.[(triple5)] The bear needs the rabbit.[(triple6)] The bear sees the rabbit.[(triple7 OR ((triple8) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] The bear visits the rabbit.[(triple8 OR ((triple2) -> rule5))] The rabbit is big.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is green.[(triple12)] The rabbit is rough.[(triple13)] The rabbit needs the bear.[(triple14 OR ((triple16) -> rule7) OR ((((triple11) -> rule3)) -> rule7) OR ((((triple13) -> rule2)) -> rule7))] The rabbit sees the bear.[(triple15 OR ((triple8) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] The rabbit visits the bear.[(triple16 OR ((triple11) -> rule3) OR ((triple13) -> rule2))] @1: The bear visits the bear.[(((triple3) -> rule3) OR ((triple5) -> rule2))] @2: The bear needs the bear.[(((((triple3) -> rule3)) -> rule7) OR ((((triple5) -> rule2)) -> rule7))]