The dog chases the rabbit. The dog is blue. The dog is cold. The dog is kind. The rabbit eats the dog. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is red. If something chases the rabbit then it is blue. If the dog needs the rabbit then the dog eats the rabbit. If the rabbit is red then the rabbit chases the dog. If something needs the dog and the dog eats the rabbit then the rabbit eats the dog. If something needs the rabbit and the rabbit needs the dog then the rabbit chases the dog. If something chases the dog and the dog is cold then the dog needs the rabbit.
The dog is not green.
@0: The dog chases the rabbit.[(triple1)] The dog is blue.[(triple2 OR ((triple1) -> rule1))] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is green.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is red.[(triple10)] @1: The rabbit chases the dog.[(((triple10) -> rule3))] @2: The dog needs the rabbit.[(((((triple10) -> rule3) triple3) -> rule6))] @3: The dog eats the rabbit.[(((((((triple10) -> rule3) triple3) -> rule6)) -> rule2))]