The mouse is big. The mouse is not green. The mouse is round. Green, round people are young. If someone is red and not green then they are young. Red people are young. All big people are round. If someone is round and young then they are not big. If someone is round and not green then they are not red. Young people are red. All young people are not red.
The mouse is not red.
@0: The mouse is big.[(triple1)] The mouse is not green.[(triple2)] The mouse is round.[(triple3 OR ((triple1) -> rule4))] @1: The mouse is not red.[(((triple3 triple2) -> rule6) OR ((((triple1) -> rule4) triple2) -> rule6))]