The cow is young. The cow needs the rabbit. The lion eats the rabbit. The lion is cold. The lion visits the rabbit. The rabbit eats the cow. The rabbit is nice. If someone is young and big then they need the rabbit. If someone visits the lion and they need the rabbit then the rabbit eats the cow. If the cow is young then the cow eats the rabbit. If someone is rough then they need the rabbit. If the cow eats the rabbit then the rabbit is rough. If someone is nice then they eat the lion.
The lion does not visit the rabbit.
@0: The cow is young.[(triple1)] The cow needs the rabbit.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is cold.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is nice.[(triple7)] @1: The cow eats the rabbit.[(((triple1) -> rule3))] The rabbit eats the lion.[(((triple7) -> rule6))] @2: The rabbit is rough.[(((((triple1) -> rule3)) -> rule5))] @3: The rabbit needs the rabbit.[(((((((triple1) -> rule3)) -> rule5)) -> rule4))]