The cow eats the lion. The cow is round. The cow sees the lion. The lion eats the cow. The lion is green. The lion sees the cow. The lion visits the cow. Rough things are green. If something sees the lion and the lion visits the cow then it eats the cow. If something sees the lion and it visits the cow then the lion sees the cow. If the lion sees the cow and the cow sees the lion then the lion is young. If something eats the cow and the cow is round then it visits the cow. If the lion is rough then the lion sees the cow. If something visits the cow then it is green. If the cow visits the lion then the cow sees the lion.
The lion is big.
@0: The cow eats the lion.[(triple1)] The cow is round.[(triple2)] The cow sees the lion.[(triple3)] The lion eats the cow.[(triple4)] The lion is green.[(triple5 OR ((triple7) -> rule7) OR ((((triple4 triple2) -> rule5)) -> rule7))] The lion sees the cow.[(triple6 OR ((triple3 ((((triple3 triple7) -> rule2) triple2) -> rule5)) -> rule3) OR ((triple3 ((((triple3 ((triple4 triple2) -> rule5)) -> rule2) triple2) -> rule5)) -> rule3))] The lion visits the cow.[(triple7 OR ((triple4 triple2) -> rule5))] @1: The cow eats the cow.[(((triple3 triple7) -> rule2) OR ((triple3 ((triple4 triple2) -> rule5)) -> rule2))] The lion is young.[(((triple6 triple3) -> rule4) OR ((((triple3 ((((triple3 triple7) -> rule2) triple2) -> rule5)) -> rule3) triple3) -> rule4) OR ((((triple3 ((((triple3 ((triple4 triple2) -> rule5)) -> rule2) triple2) -> rule5)) -> rule3) triple3) -> rule4))] @2: The cow visits the cow.[(((((triple3 triple7) -> rule2) triple2) -> rule5) OR ((((triple3 ((triple4 triple2) -> rule5)) -> rule2) triple2) -> rule5))] @3: The cow is green.[(((((((triple3 triple7) -> rule2) triple2) -> rule5)) -> rule7) OR ((((((triple3 ((triple4 triple2) -> rule5)) -> rule2) triple2) -> rule5)) -> rule7))]