The cow is round. The cow needs the lion. The lion is round. If someone chases the cow and the cow chases the lion then they are big. If someone likes the lion then the lion is red. If the cow is round then the cow likes the lion. If someone is rough and not kind then they chase the cow. All rough people are not red. If someone is round then they do not need the cow. If the cow does not like the lion and the lion does not need the cow then the cow is red. If someone is red then they do not like the cow.
The cow is not red.
@0: The cow is round.[(triple1)] The cow needs the lion.[(triple2)] The lion is round.[(triple3)] @1: The cow does not need the cow.[(((triple1) -> rule6))] The cow likes the lion.[(((triple1) -> rule3))] The lion does not need the cow.[(((triple3) -> rule6))] @2: The lion is red.[(((((triple1) -> rule3)) -> rule2))] @3: The lion does not like the cow.[(((((((triple1) -> rule3)) -> rule2)) -> rule8))]