Anne is blue. Anne is kind. Anne is red. Anne is round. Anne is white. Dave is big. Dave is white. Gary is big. Gary is kind. Gary is red. If someone is round then they are kind. Big people are red. All red, white people are round.
Gary is not round.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple4) -> rule1) OR ((((triple3 triple5) -> rule3)) -> rule1))] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple3 triple5) -> rule3))] Anne is white.[(triple5)] Dave is big.[(triple6)] Dave is white.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10 OR ((triple8) -> rule2))] @1: Dave is red.[(((triple6) -> rule2))] @2: Dave is round.[(((((triple6) -> rule2) triple7) -> rule3))] @3: Dave is kind.[(((((((triple6) -> rule2) triple7) -> rule3)) -> rule1))]