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