The mouse is big. If something is big and cold then it is round. All red things are big. If the mouse is big and the mouse is cold then the mouse is young. All big things are young. All round, young things are big. All red, cold things are round. If something is big and young then it is cold. If something is cold and young then it is red.
The mouse is not young.
@0: The mouse is big.[(triple1)] @1: The mouse is young.[(((triple1) -> rule4))] @2: The mouse is cold.[(((triple1 ((triple1) -> rule4)) -> rule7))] @3: The mouse is red.[(((((triple1 ((triple1) -> rule4)) -> rule7) ((triple1) -> rule4)) -> rule8))] The mouse is round.[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1 ((triple1) -> rule4)) -> rule7) ((triple1) -> rule4)) -> rule8) ((triple1 ((triple1) -> rule4)) -> rule7)) -> rule6))]