The mouse is big. The mouse is not green. The mouse is red. The mouse is rough. The mouse is young. If something is rough then it is young. If the mouse is not rough then the mouse is not big. If the mouse is green then the mouse is young. If the mouse is not red then the mouse is green. If something is red and not young then it is not big. If something is red and not young then it is not big.
The mouse does not like the mouse.
@0: The mouse is big.[(triple1)] The mouse is not green.[(triple2)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5 OR ((triple4) -> rule1))]