The bear eats the cow. The bear is kind. The bear likes the cow. The bear visits the mouse. The cow is red. The cow is round. The cow visits the bear. The mouse is blue. The mouse likes the bear. The mouse likes the cow. If something is kind and it likes the bear then the bear is red. If something eats the bear then it likes the bear. If something eats the mouse and it is kind then it eats the bear. If something eats the cow then it eats the mouse. If something visits the mouse then the mouse visits the cow. If something visits the bear and the bear is round then the bear is rough.
The cow is round.
@0: The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear likes the cow.[(triple3)] The bear visits the mouse.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The cow visits the bear.[(triple7)] The mouse is blue.[(triple8)] The mouse likes the bear.[(triple9)] The mouse likes the cow.[(triple10)] @1: The bear eats the mouse.[(((triple1) -> rule4))] The mouse visits the cow.[(((triple4) -> rule5))] @2: The bear eats the bear.[(((((triple1) -> rule4) triple2) -> rule3))] @3: The bear likes the bear.[(((((((triple1) -> rule4) triple2) -> rule3)) -> rule2))] @4: The bear is red.[(((triple2 ((((((triple1) -> rule4) triple2) -> rule3)) -> rule2)) -> rule1))]