The cow is cold. The cow visits the rabbit. The rabbit is round. If someone needs the rabbit then the rabbit visits the cow. If the rabbit likes the cow then the cow likes the rabbit. If someone is round then they like the cow. If someone is kind and they visit the cow then they are round. If someone likes the cow and the cow visits the rabbit then they like the rabbit. If someone likes the cow then the cow needs the rabbit. If someone visits the rabbit then the rabbit needs the cow. If someone likes the cow and the cow does not like the rabbit then the rabbit is not cold.
The rabbit does not like the cow.
@0: The cow is cold.[(triple1)] The cow visits the rabbit.[(triple2)] The rabbit is round.[(triple3)] @1: The rabbit likes the cow.[(((triple3) -> rule3))] The rabbit needs the cow.[(((triple2) -> rule7))] @2: The cow likes the rabbit.[(((((triple3) -> rule3)) -> rule2))] The cow needs the rabbit.[(((((triple3) -> rule3)) -> rule6))] The rabbit likes the rabbit.[(((((triple3) -> rule3) triple2) -> rule5))] @3: The rabbit visits the cow.[(((((((triple3) -> rule3)) -> rule6)) -> rule1))]