The cow is green. The cow is not rough. The cow is round. The cow does not like the lion. The cow needs the lion. The cow visits the lion. The lion is green. The lion likes the cow. The lion needs the cow. The lion visits the cow. If something likes the cow and the cow does not like the lion then the lion visits the cow. All young things are rough. If the cow is red then the cow is not young. If the lion likes the cow and the cow is red then the lion is rough. If something likes the lion then the lion is not round. If the lion needs the cow then the lion likes the cow. If the lion needs the cow and the cow visits the lion then the cow needs the lion. If something needs the cow then the cow is not red.
The lion is not rough.
@0: The cow does not like the lion.[(triple4)] The cow is green.[(triple1)] The cow is not rough.[(triple2)] The cow is round.[(triple3)] The cow needs the lion.[(triple5 OR ((triple9 triple6) -> rule7))] The cow visits the lion.[(triple6)] The lion is green.[(triple7)] The lion likes the cow.[(triple8 OR ((triple9) -> rule6))] The lion needs the cow.[(triple9)] The lion visits the cow.[(triple10 OR ((triple8 triple4) -> rule1) OR ((((triple9) -> rule6) triple4) -> rule1))] @1: The cow is not red.[(((triple9) -> rule8))]