The dog chases the mouse. The dog is kind. The dog is nice. The dog is red. The dog is rough. The dog likes the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is big. The mouse is nice. The mouse is red. The mouse likes the dog. If someone chases the dog and the dog chases the mouse then they visit the dog. If the mouse is kind then the mouse is big. If someone likes the mouse and they visit the dog then the mouse chases the dog. If someone is big and they like the mouse then they chase the dog. If the dog chases the mouse and the dog is red then the dog is big. If the dog likes the mouse then the dog is big.
The dog is rough.
@0: The dog chases the mouse.[(triple1)] The dog is kind.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is rough.[(triple5)] The dog likes the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse chases the dog.[(triple8 OR ((triple6 ((((((triple6) -> rule6) triple6) -> rule4) triple1) -> rule1)) -> rule3) OR ((triple6 ((((((triple1 triple4) -> rule5) triple6) -> rule4) triple1) -> rule1)) -> rule3))] The mouse is big.[(triple9)] The mouse is nice.[(triple10)] The mouse is red.[(triple11)] The mouse likes the dog.[(triple12)] @1: The dog is big.[(((triple6) -> rule6) OR ((triple1 triple4) -> rule5))] The mouse visits the dog.[(((triple8 triple1) -> rule1) OR ((((triple6 ((((((triple6) -> rule6) triple6) -> rule4) triple1) -> rule1)) -> rule3) triple1) -> rule1) OR ((((triple6 ((((((triple1 triple4) -> rule5) triple6) -> rule4) triple1) -> rule1)) -> rule3) triple1) -> rule1))] @2: The dog chases the dog.[(((((triple6) -> rule6) triple6) -> rule4) OR ((((triple1 triple4) -> rule5) triple6) -> rule4))] @3: The dog visits the dog.[(((((((triple6) -> rule6) triple6) -> rule4) triple1) -> rule1) OR ((((((triple1 triple4) -> rule5) triple6) -> rule4) triple1) -> rule1))]