The dog chases the rabbit. The dog eats the rabbit. The dog is cold. The dog is red. The dog likes the rabbit. The rabbit chases the dog. The rabbit is red. If someone likes the dog and the dog is blue then the dog likes the rabbit. If someone is blue and cold then they like the dog. If someone likes the rabbit and they chase the rabbit then the rabbit chases the dog. If someone likes the rabbit then the rabbit is blue. If someone chases the dog then the dog eats the rabbit. If someone chases the rabbit and the rabbit is red then they like the dog.
The dog is red.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2 OR ((triple6) -> rule5) OR ((((triple5 triple1) -> rule3)) -> rule5))] The dog is cold.[(triple3)] The dog is red.[(triple4)] The dog likes the rabbit.[(triple5)] The rabbit chases the dog.[(triple6 OR ((triple5 triple1) -> rule3))] The rabbit is red.[(triple7)] @1: The dog likes the dog.[(((triple1 triple7) -> rule6))] The rabbit is blue.[(((triple5) -> rule4))]