The dog eats the mouse. The dog is big. The dog is green. The dog is kind. The dog is red. The dog is young. The dog likes the mouse. The dog sees the mouse. The mouse eats the dog. The mouse is big. The mouse is green. The mouse is kind. The mouse is red. The mouse is young. The mouse likes the dog. The mouse sees the dog. If the dog sees the mouse then the dog likes the mouse. If something sees the mouse and the mouse is red then it eats the mouse.
The mouse eats the dog.
@0: The dog eats the mouse.[(triple1 OR ((triple8 triple13) -> rule2))] The dog is big.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the mouse.[(triple7 OR ((triple8) -> rule1))] The dog sees the mouse.[(triple8)] The mouse eats the dog.[(triple9)] The mouse is big.[(triple10)] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse likes the dog.[(triple15)] The mouse sees the dog.[(triple16)]