The dog chases 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 dog needs the rabbit. The rabbit chases 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. The rabbit needs the dog. If someone is red then they need the rabbit. If someone likes the dog then the dog needs the rabbit. If someone chases the rabbit then they are red.
The dog is blue.
@0: The dog chases the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5 OR ((triple1) -> rule3))] The dog is rough.[(triple6)] The dog likes the rabbit.[(triple7)] The dog needs the rabbit.[(triple8 OR ((triple15) -> rule2) OR ((triple5) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The rabbit chases the dog.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the dog.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The rabbit needs the rabbit.[(((triple13) -> rule1))]