Anne is white. Charlie is furry. Gary is white. If someone is blue then they are furry. All round people are white. Big people are white. All red people are big. If Charlie is blue and Charlie is big then Charlie is white. If Anne is blue and Anne is red then Anne is round. All furry people are red. Furry people are round.
Gary is not big.
@0: Anne is white.[(triple1)] Charlie is furry.[(triple2)] Gary is white.[(triple3)] @1: Charlie is red.[(((triple2) -> rule7))] Charlie is round.[(((triple2) -> rule8))] @2: Charlie is big.[(((((triple2) -> rule7)) -> rule4))] Charlie is white.[(((((triple2) -> rule8)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4)) -> rule3))]