The mouse is green. The mouse is nice. The mouse is red. The mouse is rough. The mouse is young. Rough things are green. All green, red things are young.
The mouse is rough.
@0: The mouse is green.[(triple1 OR ((triple4) -> rule1))] The mouse is nice.[(triple2)] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5 OR ((triple1 triple3) -> rule2) OR ((((triple4) -> rule1) triple3) -> rule2))]