Charlie is blue. Charlie is green. Charlie is white. Dave is big. Dave is green. Dave is white. Gary is white. Green people are blue. All young, green people are blue. Big people are young. If someone is furry then they are quiet. If Gary is big and Gary is furry then Gary is white. All blue people are furry.
Gary is not blue.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is green.[(triple2)] Charlie is white.[(triple3)] Dave is big.[(triple4)] Dave is green.[(triple5)] Dave is white.[(triple6)] Gary is white.[(triple7)] @1: Charlie is furry.[(((triple1) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] Dave is blue.[(((triple5) -> rule1) OR ((((triple4) -> rule3) triple5) -> rule2))] Dave is young.[(((triple4) -> rule3))] @2: Charlie is quiet.[(((((triple1) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule6)) -> rule4))] Dave is furry.[(((((triple5) -> rule1)) -> rule6) OR ((((((triple4) -> rule3) triple5) -> rule2)) -> rule6))] @3: Dave is quiet.[(((((((triple5) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4) -> rule3) triple5) -> rule2)) -> rule6)) -> rule4))]