The cow chases the lion. The cow is kind. The cow is red. The cow is rough. The cow is round. The cow likes the lion. The cow needs the lion. The lion chases the cow. The lion is kind. The lion is round. The lion likes the cow. The lion needs the cow. If something is round then it is nice. If something likes the cow and the cow likes the lion then the cow is round. If the lion needs the cow then the lion is round. If something chases the lion then it is nice. If something likes the cow and it chases the lion then the cow is kind. If something chases the lion then the lion likes the cow. If something chases the cow and it is rough then it likes the lion. If something needs the cow then it likes the cow.
The lion does not like the lion.
@0: The cow chases the lion.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5 OR ((triple11 triple6) -> rule2) OR ((((triple1) -> rule6) triple6) -> rule2) OR ((((triple12) -> rule8) triple6) -> rule2))] The cow likes the lion.[(triple6)] The cow needs the lion.[(triple7)] The lion chases the cow.[(triple8)] The lion is kind.[(triple9)] The lion is round.[(triple10 OR ((triple12) -> rule3))] The lion likes the cow.[(triple11 OR ((triple1) -> rule6) OR ((triple12) -> rule8))] The lion needs the cow.[(triple12)] @1: The cow is nice.[(((triple1) -> rule4) OR ((triple5) -> rule1) OR ((((triple11 triple6) -> rule2)) -> rule1) OR ((((((triple1) -> rule6) triple6) -> rule2)) -> rule1) OR ((((((triple12) -> rule8) triple6) -> rule2)) -> rule1))] The lion is nice.[(((triple10) -> rule1) OR ((((triple12) -> rule3)) -> rule1))]