The mouse is cold. The mouse is round. The mouse is young. If someone is cold and not young then they are round. All young, cold people are blue. Cold people are blue. Cold people are big. Blue, round people are big. Cold people are big.
The mouse is young.
@0: The mouse is cold.[(triple1)] The mouse is round.[(triple2)] The mouse is young.[(triple3)] @1: The mouse is big.[(((triple1) -> rule4) OR ((triple1) -> rule6) OR ((((triple1) -> rule3) triple2) -> rule5) OR ((((triple3 triple1) -> rule2) triple2) -> rule5))] The mouse is blue.[(((triple1) -> rule3) OR ((triple3 triple1) -> rule2))]