The cow eats the lion. The cow is not kind. The cow is young. The cow needs the lion. The cow sees the lion. The lion eats the cow. The lion is green. The lion is not kind. The lion is not red. The lion is rough. The lion needs the cow. The lion sees the cow. If someone eats the cow then the cow needs the lion. If the lion does not eat the cow then the lion is green. If the cow is kind and the cow sees the lion then the cow is young. If someone sees the cow then they need the cow. If someone needs the cow and the cow eats the lion then the cow is red. If someone needs the cow then they are green. If someone eats the cow and the cow does not need the lion then they are young. If someone is young then they see the cow.
The lion needs the lion.
@0: The cow eats the lion.[(triple1)] The cow is not kind.[(triple2)] The cow is young.[(triple3)] The cow needs the lion.[(triple4 OR ((triple6) -> rule1))] The cow sees the lion.[(triple5)] The lion eats the cow.[(triple6)] The lion is green.[(triple7 OR ((triple11) -> rule6) OR ((((triple12) -> rule4)) -> rule6))] The lion is not kind.[(triple8)] The lion is not red.[(triple9)] The lion is rough.[(triple10)] The lion needs the cow.[(triple11 OR ((triple12) -> rule4))] The lion sees the cow.[(triple12)] @1: The cow is red.[(((triple11 triple1) -> rule5) OR ((((triple12) -> rule4) triple1) -> rule5) OR ((((((triple3) -> rule8)) -> rule4) triple1) -> rule5))] The cow sees the cow.[(((triple3) -> rule8))] @2: The cow needs the cow.[(((((triple3) -> rule8)) -> rule4))] @3: The cow is green.[(((((((triple3) -> rule8)) -> rule4)) -> rule6))]