The cat likes the rabbit. The dog is rough. The rabbit eats the dog. If someone is rough then they are young. If someone eats the rabbit and they are not kind then they eat the dog. If someone chases the cat and the cat is nice then they like the cat. If someone is big then they like the rabbit. If someone likes the rabbit then the rabbit likes the cat. Young people are big. If the rabbit does not like the dog then the dog chases the cat. If the rabbit does not like the dog then the dog eats the rabbit.
The dog is big.
@0: The cat likes the rabbit.[(triple1)] The dog is rough.[(triple2)] The rabbit eats the dog.[(triple3)] @1: The dog is young.[(((triple2) -> rule1))] The rabbit likes the cat.[(((triple1) -> rule5) OR ((((((((triple2) -> rule1)) -> rule6)) -> rule4)) -> rule5))] @2: The dog is big.[(((((triple2) -> rule1)) -> rule6))] @3: The dog likes the rabbit.[(((((((triple2) -> rule1)) -> rule6)) -> rule4))]