The mouse is cold. The mouse is kind. The mouse is nice. The mouse is red. The mouse is young. If the mouse is red and the mouse is cold then the mouse is young. Red, kind things are nice. All young things are red. If something is cold and red then it is young. Young, red things are cold. If something is cold and kind then it is nice.
The mouse is not young.
@0: The mouse is cold.[(triple1 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule3)) -> rule5))] The mouse is kind.[(triple2)] The mouse is nice.[(triple3 OR ((triple1 triple2) -> rule6) OR ((triple4 triple2) -> rule2) OR ((((triple5) -> rule3) triple2) -> rule2) OR ((((triple5 triple4) -> rule5) triple2) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule5) triple2) -> rule6))] The mouse is red.[(triple4 OR ((triple5) -> rule3))] The mouse is young.[(triple5 OR ((triple1 triple4) -> rule4) OR ((triple4 triple1) -> rule1))]