The dog eats the rabbit. The dog is not red. The dog is not young. The dog likes the rabbit. The dog needs the rabbit. The rabbit is young. The rabbit likes the dog. If someone needs the dog and they do not like the rabbit then they eat the dog. If someone likes the dog and the dog likes the rabbit then they need the dog. If someone likes the dog and the dog does not like the rabbit then the dog is not big. If someone needs the dog then they are red. If the dog is green and the dog is rough then the dog needs the rabbit. If the rabbit likes the dog then the dog is rough. If the dog is rough and the dog likes the rabbit then the rabbit eats the dog. If someone eats the dog and they are red then they are big.
The dog is not big.
@0: The dog eats the rabbit.[(triple1)] The dog is not red.[(triple2)] The dog is not young.[(triple3)] The dog likes the rabbit.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the dog.[(triple7)] @1: The dog is rough.[(((triple7) -> rule6))] The rabbit needs the dog.[(((triple7 triple4) -> rule2))] @2: The rabbit eats the dog.[(((((triple7) -> rule6) triple4) -> rule7))] The rabbit is red.[(((((triple7 triple4) -> rule2)) -> rule4))] @3: The rabbit is big.[(((((((triple7) -> rule6) triple4) -> rule7) ((((triple7 triple4) -> rule2)) -> rule4)) -> rule8))]