The bear is red. The bear sees the cow. The cow eats the bear. The cow is big. The cow is red. The cow is round. The cow sees the bear. If something is big then it visits the cow. If the cow sees the bear and the cow eats the bear then the cow is big. If something is rough and round then it sees the bear. If something eats the bear and the bear visits the cow then the cow sees the bear. If something is big and it sees the bear then it visits the cow. If something is big and it sees the bear then the bear is big. If something sees the bear and the bear visits the cow then it eats the bear. If something visits the bear and it eats the cow then the cow is round.
The bear does not see the bear.
@0: The bear is red.[(triple1)] The bear sees the cow.[(triple2)] The cow eats the bear.[(triple3 OR ((triple7 ((((triple4 triple7) -> rule6)) -> rule1)) -> rule7))] The cow is big.[(triple4 OR ((triple7 triple3) -> rule2))] The cow is red.[(triple5)] The cow is round.[(triple6)] The cow sees the bear.[(triple7)] @1: The bear is big.[(((triple4 triple7) -> rule6) OR ((((triple7 triple3) -> rule2) triple7) -> rule6))] The cow visits the cow.[(((triple4) -> rule1) OR ((triple4 triple7) -> rule5) OR ((((triple7 triple3) -> rule2)) -> rule1) OR ((((triple7 triple3) -> rule2) triple7) -> rule5))] @2: The bear visits the cow.[(((((triple4 triple7) -> rule6)) -> rule1) OR ((((((triple7 triple3) -> rule2) triple7) -> rule6)) -> rule1))]