The mouse is cold. The mouse is green. The mouse is kind. The mouse is rough. The mouse is round. If something is cold and kind then it is rough. If something is round and kind then it is cold. All rough, kind things are green.
The mouse sees the mouse.
@0: The mouse is cold.[(triple1 OR ((triple5 triple3) -> rule2))] The mouse is green.[(triple2 OR ((triple4 triple3) -> rule3) OR ((((triple1 triple3) -> rule1) triple3) -> rule3) OR ((((((triple5 triple3) -> rule2) triple3) -> rule1) triple3) -> rule3))] The mouse is kind.[(triple3)] The mouse is rough.[(triple4 OR ((triple1 triple3) -> rule1) OR ((((triple5 triple3) -> rule2) triple3) -> rule1))] The mouse is round.[(triple5)]