The cow eats the lion. The cow eats the rabbit. The cow is cold. The cow needs the lion. The cow needs the rabbit. The cow sees the lion. The cow sees the rabbit. The lion eats the cow. The lion eats the rabbit. The lion is kind. The lion needs the rabbit. The lion sees the cow. The lion sees the rabbit. The rabbit is kind. The rabbit needs the cow. If something is blue then it sees the cow. If something is nice and it eats the cow then the cow is blue. If something sees the lion and the lion eats the cow then the cow is nice. If something eats the rabbit then the rabbit needs the lion. If the lion sees the rabbit then the lion is green. If something needs the lion then the lion is nice.
The rabbit eats the cow.
@0: The cow eats the lion.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is cold.[(triple3)] The cow needs the lion.[(triple4)] The cow needs the rabbit.[(triple5)] The cow sees the lion.[(triple6)] The cow sees the rabbit.[(triple7)] The lion eats the cow.[(triple8)] The lion eats the rabbit.[(triple9)] The lion is kind.[(triple10)] The lion needs the rabbit.[(triple11)] The lion sees the cow.[(triple12)] The lion sees the rabbit.[(triple13)] The rabbit is kind.[(triple14)] The rabbit needs the cow.[(triple15)] @1: The cow is nice.[(((triple6 triple8) -> rule3))] The lion is green.[(((triple13) -> rule5))] The lion is nice.[(((triple4) -> rule6) OR ((((triple2) -> rule4)) -> rule6) OR ((((triple9) -> rule4)) -> rule6))] The rabbit needs the lion.[(((triple2) -> rule4) OR ((triple9) -> rule4))] @2: The cow is blue.[(((((triple4) -> rule6) triple8) -> rule2) OR ((((((triple2) -> rule4)) -> rule6) triple8) -> rule2) OR ((((((triple9) -> rule4)) -> rule6) triple8) -> rule2))] @3: The cow sees the cow.[(((((((triple4) -> rule6) triple8) -> rule2)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule6) triple8) -> rule2)) -> rule1) OR ((((((((triple9) -> rule4)) -> rule6) triple8) -> rule2)) -> rule1))]