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