The dog is big. The rabbit likes the dog. If something likes the dog then it is kind. If the rabbit likes the dog and the rabbit sees the dog then the rabbit needs the dog. If something needs the rabbit then the rabbit sees the dog. If the rabbit needs the dog and the dog likes the rabbit then the dog sees the rabbit. If something sees the rabbit and it sees the dog then it is big. If something likes the dog then it needs the rabbit.
The dog is not kind.
@0: The dog is big.[(triple1)] The rabbit likes the dog.[(triple2)] @1: The rabbit is kind.[(((triple2) -> rule1))] The rabbit needs the rabbit.[(((triple2) -> rule6))] @2: The rabbit sees the dog.[(((((triple2) -> rule6)) -> rule3))] @3: The rabbit needs the dog.[(((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2))]