The bear is big. The bear needs the rabbit. The cow is blue. The rabbit eats the bear. The rabbit is rough. The rabbit likes the bear. The rabbit needs the cow. If someone needs the bear then they need the rabbit. If someone needs the cow then the cow eats the rabbit. If someone needs the cow then they need the bear. If the rabbit is rough and the rabbit likes the cow then the cow is blue. If someone needs the bear and the bear needs the cow then the cow likes the bear. If someone needs the rabbit then they are young. If someone is rough and they need the bear then the bear is big. If someone is rough then they need the cow.
The cow does not need the rabbit.
@0: The bear is big.[(triple1 OR ((triple5 ((triple7) -> rule3)) -> rule7) OR ((triple5 ((((triple5) -> rule8)) -> rule3)) -> rule7))] The bear needs the rabbit.[(triple2)] The cow is blue.[(triple3)] The rabbit eats the bear.[(triple4)] The rabbit is rough.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit needs the cow.[(triple7 OR ((triple5) -> rule8))] @1: The bear is young.[(((triple2) -> rule6))] The cow eats the rabbit.[(((triple7) -> rule2) OR ((((triple5) -> rule8)) -> rule2))] The rabbit needs the bear.[(((triple7) -> rule3) OR ((((triple5) -> rule8)) -> rule3))] @2: The rabbit needs the rabbit.[(((((triple7) -> rule3)) -> rule1) OR ((((((triple5) -> rule8)) -> rule3)) -> rule1))] @3: The rabbit is young.[(((((((triple7) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple5) -> rule8)) -> rule3)) -> rule1)) -> rule6))]