The mouse is big. The mouse is cold. The mouse is green. The mouse is red. The mouse is young. If the mouse is big and the mouse is cold then the mouse is young. Cold things are young. If something is cold then it is young. If something is young then it is big. Cold things are big. If the mouse is not young then the mouse is not red. If something is red and not young then it is green. If something is red and not big then it is green.
The mouse does not chase the mouse.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule5) OR ((triple5) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule3)) -> rule4))] The mouse is cold.[(triple2)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is young.[(triple5 OR ((triple2) -> rule2) OR ((triple2) -> rule3) OR ((triple1 triple2) -> rule1) OR ((((triple2) -> rule5) triple2) -> rule1))]