The mouse is blue. The mouse is green. The mouse is kind. The mouse is rough. The mouse is young. Rough, green things are kind. If something is green then it is kind. If the mouse is green then the mouse is young. If something is green then it is blue. If something is green then it is young. Rough things are young.
The mouse is not rough.
@0: The mouse is blue.[(triple1 OR ((triple2) -> rule4))] The mouse is green.[(triple2)] The mouse is kind.[(triple3 OR ((triple2) -> rule2) OR ((triple4 triple2) -> rule1))] The mouse is rough.[(triple4)] The mouse is young.[(triple5 OR ((triple2) -> rule3) OR ((triple2) -> rule5) OR ((triple4) -> rule6))]