The cow chases the lion. The cow is cold. The cow is red. The cow is rough. The cow needs the lion. The cow visits the lion. The lion chases the cow. The lion is cold. The lion is red. The lion is round. The lion is young. The lion visits the cow. If something visits the cow and it needs the cow then the cow is round. If something is rough and it visits the lion then the lion needs the cow. If something is rough then it needs the lion.
The lion is not rough.
@0: The cow chases the lion.[(triple1)] The cow is cold.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow needs the lion.[(triple5 OR ((triple4) -> rule3))] The cow visits the lion.[(triple6)] The lion chases the cow.[(triple7)] The lion is cold.[(triple8)] The lion is red.[(triple9)] The lion is round.[(triple10)] The lion is young.[(triple11)] The lion visits the cow.[(triple12)] @1: The lion needs the cow.[(((triple4 triple6) -> rule2))] @2: The cow is round.[(((triple12 ((triple4 triple6) -> rule2)) -> rule1))]