The dog is big. The dog is cold. The dog is green. The dog is nice. The dog likes the mouse. The dog needs the mouse. The dog visits the mouse. The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse is round. The mouse likes the dog. The mouse needs the dog. The mouse visits the dog. If something needs the mouse then it is nice. If something is nice then it is green. If something needs the mouse then it is round.
The mouse does not visit the mouse.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3 OR ((triple4) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] The dog is nice.[(triple4 OR ((triple6) -> rule1))] The dog likes the mouse.[(triple5)] The dog needs the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse is big.[(triple8)] The mouse is cold.[(triple9)] The mouse is green.[(triple10 OR ((triple11) -> rule2))] The mouse is nice.[(triple11)] The mouse is round.[(triple12)] The mouse likes the dog.[(triple13)] The mouse needs the dog.[(triple14)] The mouse visits the dog.[(triple15)] @1: The dog is round.[(((triple6) -> rule3))]