The cow eats the rabbit. The rabbit sees the cow. If the cow sees the rabbit then the rabbit is rough. If something is rough then it eats the rabbit. If something is rough then it eats the rabbit. If something eats the rabbit then it is young. If something eats the cow then the cow does not eat the rabbit. If something chases the cow and it does not chase the rabbit then the cow eats the rabbit. If the cow eats the rabbit then the cow sees the rabbit. If the rabbit sees the cow then the rabbit chases the cow.
The cow is cold.
@0: The cow eats the rabbit.[(triple1)] The rabbit sees the cow.[(triple2)] @1: The cow is young.[(((triple1) -> rule4))] The cow sees the rabbit.[(((triple1) -> rule7))] The rabbit chases the cow.[(((triple2) -> rule8))] @2: The rabbit is rough.[(((((triple1) -> rule7)) -> rule1))] @3: The rabbit eats the rabbit.[(((((((triple1) -> rule7)) -> rule1)) -> rule2) OR ((((((triple1) -> rule7)) -> rule1)) -> rule3))] @4: The rabbit is young.[(((((((((triple1) -> rule7)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule1)) -> rule3)) -> rule4))]