Gary is big. If Gary is white then Gary is not red. If Gary is big then Gary is not red. Big people are smart. All kind people are white. All smart people are kind. If someone is red and not smart then they are furry.
Gary is not furry.
@0: Gary is big.[(triple1)] @1: Gary is not red.[(((triple1) -> rule2) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule1))] Gary is smart.[(((triple1) -> rule3))] @2: Gary is kind.[(((((triple1) -> rule3)) -> rule5))] @3: Gary is white.[(((((((triple1) -> rule3)) -> rule5)) -> rule4))]