The cow chases the lion. The cow eats the lion. The cow is big. The cow is nice. The cow is round. The cow visits the lion. The lion chases the cow. The lion eats the cow. The lion is kind. The lion is nice. The lion is round. The lion visits the cow. If something is nice then it chases the lion. If something is nice and it chases the lion then the lion is blue. If the lion chases the cow then the cow is round.
The lion eats the cow.
@0: The cow chases the lion.[(triple1 OR ((triple4) -> rule1))] The cow eats the lion.[(triple2)] The cow is big.[(triple3)] The cow is nice.[(triple4)] The cow is round.[(triple5 OR ((triple7) -> rule3))] The cow visits the lion.[(triple6)] The lion chases the cow.[(triple7)] The lion eats the cow.[(triple8)] The lion is kind.[(triple9)] The lion is nice.[(triple10)] The lion is round.[(triple11)] The lion visits the cow.[(triple12)] @1: The lion chases the lion.[(((triple10) -> rule1))] The lion is blue.[(((triple4 triple1) -> rule2) OR ((triple10 ((triple10) -> rule1)) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule2))]