The mouse is big. The mouse is nice. The mouse is not round. If something is big then it is nice. Round things are red. If something is green and not big then it is not red. Green things are red. If the mouse is round and the mouse is red then the mouse is green. If the mouse is big then the mouse is green. If something is big then it is green. All nice things are green.
The mouse is nice.
@0: The mouse is big.[(triple1)] The mouse is nice.[(triple2 OR ((triple1) -> rule1))] The mouse is not round.[(triple3)] @1: The mouse is green.[(((triple1) -> rule6) OR ((triple1) -> rule7) OR ((triple2) -> rule8) OR ((((triple1) -> rule1)) -> rule8))] @2: The mouse is red.[(((((triple1) -> rule6)) -> rule4) OR ((((triple1) -> rule7)) -> rule4) OR ((((triple2) -> rule8)) -> rule4) OR ((((((triple1) -> rule1)) -> rule8)) -> rule4))]