The mouse is big. The mouse is blue. The mouse is not young. If the mouse is young then the mouse is not cold. All big people are not kind. All young people are kind. If the mouse is cold and the mouse is not young then the mouse is blue. If the mouse is not cold then the mouse is kind. Cold, big people are not blue. All big people are blue. If someone is kind and not big then they are blue.
The mouse is not young.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple1) -> rule7))] The mouse is not young.[(triple3)] @1: The mouse is not kind.[(((triple1) -> rule2))]