The dog chases the mouse. The dog is big. The dog is green. The dog is nice. The dog is red. The dog is young. The dog likes the mouse. The mouse chases the dog. The mouse is big. The mouse visits the dog. If something likes the mouse and it is nice then it chases the dog. If something likes the mouse and it chases the dog then it likes the dog. If the mouse visits the dog and the mouse chases the dog then the dog is young.
The dog likes the dog.
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6 OR ((triple10 triple8) -> rule3))] The dog likes the mouse.[(triple7)] The mouse chases the dog.[(triple8)] The mouse is big.[(triple9)] The mouse visits the dog.[(triple10)] @1: The dog chases the dog.[(((triple7 triple4) -> rule1))] @2: The dog likes the dog.[(((triple7 ((triple7 triple4) -> rule1)) -> rule2))]