The dog chases the rabbit. The dog eats the rabbit. The dog is blue. The dog is cold. The dog is nice. The dog is red. The dog is rough. The dog likes the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit likes the dog. Blue people are rough. If someone likes the dog and they are rough then they chase the dog. If someone is nice and red then they eat the dog.
The rabbit chases the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is nice.[(triple5)] The dog is red.[(triple6)] The dog is rough.[(triple7 OR ((triple3) -> rule1))] The dog likes the rabbit.[(triple8)] The rabbit chases the dog.[(triple9 OR ((triple16 triple15) -> rule2) OR ((triple16 ((triple11) -> rule1)) -> rule2))] The rabbit eats the dog.[(triple10 OR ((triple13 triple14) -> rule3))] The rabbit is blue.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is red.[(triple14)] The rabbit is rough.[(triple15 OR ((triple11) -> rule1))] The rabbit likes the dog.[(triple16)] @1: The dog eats the dog.[(((triple5 triple6) -> rule3))]