The dog is rough. The mouse is red. The mouse likes the dog. If the mouse sees the dog and the dog likes the mouse then the mouse is red. If the dog likes the mouse and the mouse likes the dog then the mouse is red. If something eats the mouse then it sees the mouse. If something likes the mouse and it sees the mouse then it eats the mouse. If something is rough and it sees the dog then it is big. If something eats the mouse then it is kind. If something sees the mouse then it sees the dog. If something is red and it likes the dog then the dog sees the mouse.
The dog sees the dog.
@0: The dog is rough.[(triple1)] The mouse is red.[(triple2)] The mouse likes the dog.[(triple3)] @1: The dog sees the mouse.[(((triple2 triple3) -> rule8))] @2: The dog sees the dog.[(((((triple2 triple3) -> rule8)) -> rule7))] @3: The dog is big.[(((triple1 ((((triple2 triple3) -> rule8)) -> rule7)) -> rule5))]