The bear is red. The cow sees the bear. The mouse is young. The mouse does not need the rabbit. The mouse sees the rabbit. The rabbit chases the bear. The rabbit chases the cow. The rabbit is big. The rabbit is red. The rabbit needs the cow. The rabbit does not need the mouse. The rabbit sees the cow. All red, rough things are nice. If something chases the cow and the cow chases the bear then the bear is big. If something sees the mouse then the mouse is nice. If something chases the cow then it is red. If the cow needs the rabbit then the rabbit is rough. If something chases the cow then the cow chases the bear. If something needs the bear and the bear is rough then it sees the bear. If something is nice then it sees the mouse. Big things are rough.
The cow does not chase the bear.
@0: The bear is red.[(triple1)] The cow sees the bear.[(triple2)] The mouse does not need the rabbit.[(triple4)] The mouse is young.[(triple3)] The mouse sees the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit does not need the mouse.[(triple11)] The rabbit is big.[(triple8)] The rabbit is red.[(triple9 OR ((triple7) -> rule4))] The rabbit needs the cow.[(triple10)] The rabbit sees the cow.[(triple12)] @1: The cow chases the bear.[(((triple7) -> rule6))] The rabbit is rough.[(((triple8) -> rule9))] @2: The bear is big.[(((triple7 ((triple7) -> rule6)) -> rule2))] The rabbit is nice.[(((triple9 ((triple8) -> rule9)) -> rule1) OR ((((triple7) -> rule4) ((triple8) -> rule9)) -> rule1))] @3: The bear is rough.[(((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule9))] The rabbit sees the mouse.[(((((triple9 ((triple8) -> rule9)) -> rule1)) -> rule8) OR ((((((triple7) -> rule4) ((triple8) -> rule9)) -> rule1)) -> rule8))] @4: The bear is nice.[(((triple1 ((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule9)) -> rule1))] The mouse is nice.[(((((((triple9 ((triple8) -> rule9)) -> rule1)) -> rule8)) -> rule3) OR ((((((((triple7) -> rule4) ((triple8) -> rule9)) -> rule1)) -> rule8)) -> rule3) OR ((((((triple1 ((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule9)) -> rule1)) -> rule8)) -> rule3))] @5: The bear sees the mouse.[(((((triple1 ((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule9)) -> rule1)) -> rule8))] The mouse sees the mouse.[(((((((((triple9 ((triple8) -> rule9)) -> rule1)) -> rule8)) -> rule3)) -> rule8) OR ((((((((((triple7) -> rule4) ((triple8) -> rule9)) -> rule1)) -> rule8)) -> rule3)) -> rule8) OR ((((((((triple1 ((((triple7 ((triple7) -> rule6)) -> rule2)) -> rule9)) -> rule1)) -> rule8)) -> rule3)) -> rule8))]