The dog chases the mouse. The dog is big. The dog is round. The dog likes the mouse. The dog sees the mouse. The mouse chases the dog. The mouse is green. The mouse is nice. The mouse likes the dog. The mouse sees the dog. If something is nice then it chases the mouse. If something is red and it likes the mouse then it chases the mouse. If the dog is nice and the dog likes the mouse then the dog is green. If the mouse chases the dog then the mouse sees the dog. If something is big then it sees the mouse. If something chases the mouse and the mouse sees the dog then the mouse chases the dog.
The mouse likes the mouse.
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is round.[(triple3)] The dog likes the mouse.[(triple4)] The dog sees the mouse.[(triple5 OR ((triple2) -> rule5))] The mouse chases the dog.[(triple6 OR ((triple1 triple10) -> rule6) OR ((((triple8) -> rule1) triple10) -> rule6))] The mouse is green.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the dog.[(triple9)] The mouse sees the dog.[(triple10 OR ((triple6) -> rule4))] @1: The mouse chases the mouse.[(((triple8) -> rule1))]