The dog sees the rabbit. The rabbit is big. If something needs the dog and it eats the rabbit then the dog sees the rabbit. If something sees the rabbit then it is big. All big things are rough. If something is rough then it needs the dog. If something needs the dog and it sees the dog then it needs the rabbit. If something needs the dog and it eats the dog then the dog sees the rabbit. If something is red and it sees the dog then the dog eats the rabbit. If the dog needs the rabbit and the dog sees the rabbit then the dog is kind.
The dog is rough.
@0: The dog sees the rabbit.[(triple1)] The rabbit is big.[(triple2)] @1: The dog is big.[(((triple1) -> rule2))] The rabbit is rough.[(((triple2) -> rule3))] @2: The dog is rough.[(((((triple1) -> rule2)) -> rule3))] The rabbit needs the dog.[(((((triple2) -> rule3)) -> rule4))] @3: The dog needs the dog.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))]