The dog is big. The dog is cold. The dog is rough. The dog is round. The dog likes the mouse. The mouse is rough. The mouse is round. The mouse likes the dog. The mouse sees the dog. The mouse visits the dog. If someone is rough then they see the dog. If someone sees the mouse then they like the dog.
The mouse is not round.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog likes the mouse.[(triple5)] The mouse is rough.[(triple6)] The mouse is round.[(triple7)] The mouse likes the dog.[(triple8)] The mouse sees the dog.[(triple9 OR ((triple6) -> rule1))] The mouse visits the dog.[(triple10)] @1: The dog sees the dog.[(((triple3) -> rule1))]