The dog chases the mouse. The dog is blue. The dog is cold. The dog is rough. The dog is round. The dog sees the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is round. The mouse sees the dog. The mouse visits the dog. If something sees the mouse and the mouse chases the dog then it visits the mouse. If something sees the mouse and the mouse is rough then it is blue. If the dog is round and the dog chases the mouse then the mouse visits the dog.
The mouse is kind.
@0: The dog chases the mouse.[(triple1)] The dog is blue.[(triple2 OR ((triple6 triple12) -> rule2))] The dog is cold.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The dog sees the mouse.[(triple6)] The dog visits the mouse.[(triple7 OR ((triple6 triple8) -> rule1))] The mouse chases the dog.[(triple8)] The mouse is blue.[(triple9)] The mouse is cold.[(triple10)] The mouse is kind.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the dog.[(triple15 OR ((triple5 triple1) -> rule3))]