The mouse is cold. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. Cold, round things are red. If something is red then it is cold. Round, cold things are rough. If the mouse is rough then the mouse is red. If something is rough then it is cold. If something is rough and nice then it is cold.
The mouse is red.
@0: The mouse is cold.[(triple1 OR ((triple3) -> rule2) OR ((triple4) -> rule5) OR ((triple4 triple2) -> rule6) OR ((((triple4) -> rule4)) -> rule2))] The mouse is nice.[(triple2)] The mouse is red.[(triple3 OR ((triple4) -> rule4) OR ((triple1 triple5) -> rule1) OR ((((triple5 triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule5) triple5) -> rule1) OR ((((triple4 triple2) -> rule6) triple5) -> rule1))] The mouse is rough.[(triple4 OR ((triple5 triple1) -> rule3) OR ((triple5 ((triple3) -> rule2)) -> rule3))] The mouse is round.[(triple5)]