Anne is big. Anne is furry. Anne is quiet. Anne is red. Charlie is big. Charlie is green. Gary is furry. All big, green people are blue. All furry people are red. All green, quiet people are blue. All green, blue people are big. All kind people are green. All quiet, green people are big. Kind people are red. Red people are blue.
Gary is kind.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule2))] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Gary is furry.[(triple7)] @1: Anne is blue.[(((triple4) -> rule8) OR ((((triple2) -> rule2)) -> rule8))] Charlie is blue.[(((triple5 triple6) -> rule1))] Gary is red.[(((triple7) -> rule2))] @2: Gary is blue.[(((((triple7) -> rule2)) -> rule8))]