The mouse is blue. The mouse is cold. The mouse is red. The mouse is rough. The mouse is young. All rough people are blue. Cold, rough people are young. Rough, cold people are young. If someone is rough and blue then they are cold. All rough, cold people are blue. If someone is rough and red then they are cold.
The mouse is cold.
@0: The mouse is blue.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple2) -> rule5) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule5))] The mouse is cold.[(triple2 OR ((triple4 triple1) -> rule4) OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple4) -> rule1)) -> rule4))] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5 OR ((triple2 triple4) -> rule2) OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule3) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule3) OR ((((triple4 triple1) -> rule4) triple4) -> rule2) OR ((((triple4 triple3) -> rule6) triple4) -> rule2) OR ((triple4 ((triple4 ((triple4) -> rule1)) -> rule4)) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule4) triple4) -> rule2))]