The dog chases the mouse. The dog is blue. The dog is nice. The dog is red. The dog likes the mouse. The dog needs the mouse. The mouse chases the dog. The mouse is blue. The mouse likes the dog. The mouse needs the dog. If the dog chases the mouse and the mouse is blue then the mouse likes the dog. If someone likes the mouse and the mouse is blue then the mouse is nice. If someone is cold then they need the dog. If someone is red then they are cold. All nice people are red. If someone chases the mouse and they are blue then the mouse needs the dog. If someone needs the mouse and they like the dog then the mouse is cold. If someone likes the mouse then they need the dog.
The dog is not cold.
@0: The dog chases the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4 OR ((triple3) -> rule5))] The dog likes the mouse.[(triple5)] The dog needs the mouse.[(triple6)] The mouse chases the dog.[(triple7)] The mouse is blue.[(triple8)] The mouse likes the dog.[(triple9 OR ((triple1 triple8) -> rule1))] The mouse needs the dog.[(triple10 OR ((triple1 triple2) -> rule6) OR ((((((((triple5 triple8) -> rule2)) -> rule5)) -> rule4)) -> rule3))] @1: The dog is cold.[(((triple4) -> rule4) OR ((((triple3) -> rule5)) -> rule4))] The dog needs the dog.[(((triple5) -> rule8) OR ((((triple4) -> rule4)) -> rule3) OR ((((((triple3) -> rule5)) -> rule4)) -> rule3))] The mouse is nice.[(((triple5 triple8) -> rule2))] @2: The mouse is red.[(((((triple5 triple8) -> rule2)) -> rule5))] @3: The mouse is cold.[(((((((triple5 triple8) -> rule2)) -> rule5)) -> rule4))]