The dog eats the rabbit. The dog is big. The dog is kind. The dog is nice. The dog is red. The dog is young. The dog likes the rabbit. The dog needs the rabbit. The rabbit eats the dog. The rabbit is red. The rabbit likes the dog. The rabbit needs the dog. If the dog is young and the dog eats the rabbit then the rabbit needs the dog. If someone eats the rabbit then they like the rabbit. If someone is nice and they like the dog then the dog likes the rabbit. If the dog needs the rabbit and the dog likes the rabbit then the rabbit is nice. If the rabbit needs the dog then the rabbit eats the dog. If someone likes the dog then the dog likes the rabbit. If the dog eats the rabbit and the dog is big then the dog likes the rabbit. If someone eats the dog and the dog needs the rabbit then the rabbit needs the dog.
The rabbit does not like the rabbit.
@0: The dog eats the rabbit.[(triple1)] The dog is big.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the rabbit.[(triple7 OR ((triple1) -> rule2) OR ((triple11) -> rule6) OR ((triple1 triple2) -> rule7))] The dog needs the rabbit.[(triple8)] The rabbit eats the dog.[(triple9 OR ((triple12) -> rule5) OR ((((triple6 triple1) -> rule1)) -> rule5))] The rabbit is red.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the dog.[(triple12 OR ((triple6 triple1) -> rule1) OR ((triple9 triple8) -> rule8))] @1: The rabbit is nice.[(((triple8 triple7) -> rule4) OR ((triple8 ((triple1) -> rule2)) -> rule4) OR ((triple8 ((triple11) -> rule6)) -> rule4) OR ((triple8 ((triple1 triple2) -> rule7)) -> rule4))]