The bear is blue. The bear needs the rabbit. The rabbit eats the bear. The rabbit is blue. The rabbit is rough. The rabbit needs the bear. The rabbit visits the bear. If something visits the bear then it is big. If something needs the rabbit and the rabbit visits the bear then it is red. If something visits the bear then it eats the rabbit. All green things are rough. If the bear eats the rabbit and the rabbit is blue then the bear visits the rabbit. If something is blue and red then it eats the rabbit.
The bear needs the rabbit.
@0: The bear is blue.[(triple1)] The bear needs the rabbit.[(triple2)] The rabbit eats the bear.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is rough.[(triple5)] The rabbit needs the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The bear is red.[(((triple2 triple7) -> rule2))] The rabbit eats the rabbit.[(((triple7) -> rule3))] The rabbit is big.[(((triple7) -> rule1))] @2: The bear eats the rabbit.[(((triple1 ((triple2 triple7) -> rule2)) -> rule6))] @3: The bear visits the rabbit.[(((((triple1 ((triple2 triple7) -> rule2)) -> rule6) triple4) -> rule5))]