Dave is green. Dave is quiet. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is round. If Gary is round then Gary is green. All quiet people are green. All smart, quiet people are cold. Kind people are smart. If someone is smart and blue then they are quiet. If someone is kind and blue then they are round.
Gary is not kind.
@0: Dave is green.[(triple1 OR ((triple2) -> rule2))] Dave is quiet.[(triple2)] Gary is blue.[(triple3)] Gary is cold.[(triple4 OR ((((triple5) -> rule4) triple6) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4) triple3) -> rule5)) -> rule3))] Gary is kind.[(triple5)] Gary is quiet.[(triple6 OR ((((triple5) -> rule4) triple3) -> rule5))] Gary is round.[(triple7 OR ((triple5 triple3) -> rule6))] @1: Gary is green.[(((triple6) -> rule2) OR ((triple7) -> rule1) OR ((((triple5 triple3) -> rule6)) -> rule1) OR ((((((triple5) -> rule4) triple3) -> rule5)) -> rule2))] Gary is smart.[(((triple5) -> rule4))]