The mouse is not blue. The mouse is cold. The mouse is rough. The mouse is round. The mouse is young. All blue things are round. If something is blue and cold then it is round. All blue things are young. Young things are rough. If something is blue and not cold then it is rough. If something is rough and not cold then it is blue. If the mouse is rough then the mouse is round. If the mouse is round then the mouse is not blue.
The mouse does not chase the mouse.
@0: The mouse is cold.[(triple2)] The mouse is not blue.[(triple1 OR ((triple4) -> rule8) OR ((((triple3) -> rule7)) -> rule8) OR ((((((triple5) -> rule4)) -> rule7)) -> rule8))] The mouse is rough.[(triple3 OR ((triple5) -> rule4))] The mouse is round.[(triple4 OR ((triple3) -> rule7) OR ((((triple5) -> rule4)) -> rule7))] The mouse is young.[(triple5)]