The mouse is kind. The mouse is nice. The mouse is red. The mouse is rough. The mouse is young. All red, nice things are rough. If something is nice then it is rough. If something is rough then it is red.
The mouse eats the mouse.
@0: The mouse is kind.[(triple1)] The mouse is nice.[(triple2)] The mouse is red.[(triple3 OR ((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] The mouse is rough.[(triple4 OR ((triple2) -> rule2) OR ((triple3 triple2) -> rule1))] The mouse is young.[(triple5)]