The bear chases the rabbit. The bear is young. The bear needs the cow. The cow is kind. The cow is red. The cow is young. The rabbit is young. If something chases the rabbit then it likes the cow. If something is young and rough then it chases the bear. If something likes the bear and it likes the cow then the cow does not need the bear. Young things are rough. If something likes the cow then it needs the rabbit. If something is rough then it likes the bear. If something chases the rabbit then it is kind. If something likes the bear and it does not like the cow then the bear likes the rabbit.
The bear does not like the cow.
@0: The bear chases the rabbit.[(triple1)] The bear is young.[(triple2)] The bear needs the cow.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The rabbit is young.[(triple7)] @1: The bear is kind.[(((triple1) -> rule7))] The bear is rough.[(((triple2) -> rule4))] The bear likes the cow.[(((triple1) -> rule1))] The cow is rough.[(((triple6) -> rule4))] The rabbit is rough.[(((triple7) -> rule4))] @2: The bear chases the bear.[(((triple2 ((triple2) -> rule4)) -> rule2))] The bear likes the bear.[(((((triple2) -> rule4)) -> rule6))] The bear needs the rabbit.[(((((triple1) -> rule1)) -> rule5))] The cow chases the bear.[(((triple6 ((triple6) -> rule4)) -> rule2))] The cow likes the bear.[(((((triple6) -> rule4)) -> rule6))] The rabbit chases the bear.[(((triple7 ((triple7) -> rule4)) -> rule2))] The rabbit likes the bear.[(((((triple7) -> rule4)) -> rule6))] @3: The cow does not need the bear.[(((((((triple2) -> rule4)) -> rule6) ((triple1) -> rule1)) -> rule3))]