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