The mouse is big. The mouse is green. The mouse is red. The mouse is rough. The mouse is young. Green, red people are rough. All green people are red.
The mouse does not need the mouse.
@0: The mouse is big.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3 OR ((triple2) -> rule2))] The mouse is rough.[(triple4 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule1))] The mouse is young.[(triple5)]