The dog is blue. The dog is cold. The dog likes the mouse. The dog needs the mouse. The mouse is big. The mouse is blue. The mouse is cold. The mouse is round. The mouse likes the dog. The mouse visits the dog. If someone needs the dog and the dog visits the mouse then the dog likes the mouse. If the mouse likes the dog then the mouse is blue. If the dog is round then the dog needs the mouse. If the mouse needs the dog and the dog is big then the dog needs the mouse. If the mouse is cold then the mouse visits the dog. If someone is cold then they like the dog. If someone is big then they visit the dog. If the mouse likes the dog then the dog visits the mouse.
The mouse is cold.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog likes the mouse.[(triple3)] The dog needs the mouse.[(triple4)] The mouse is big.[(triple5)] The mouse is blue.[(triple6 OR ((triple9) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] The mouse is cold.[(triple7)] The mouse is round.[(triple8)] The mouse likes the dog.[(triple9 OR ((triple7) -> rule6))] The mouse visits the dog.[(triple10 OR ((triple5) -> rule7) OR ((triple7) -> rule5))] @1: The dog likes the dog.[(((triple2) -> rule6))] The dog visits the mouse.[(((triple9) -> rule8) OR ((((triple7) -> rule6)) -> rule8))]