Dave is big. Dave is furry. Dave is smart. Gary is cold. Gary is furry. Gary is green. Gary is smart. All quiet, big things are cold. If something is cold then it is round. If Gary is big then Gary is round. If Dave is big then Dave is quiet. If something is green then it is round. If Dave is big then Dave is quiet.
Dave is green.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is smart.[(triple3)] Gary is cold.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is smart.[(triple7)] @1: Dave is quiet.[(((triple1) -> rule4) OR ((triple1) -> rule6))] Gary is round.[(((triple4) -> rule2) OR ((triple6) -> rule5))] @2: Dave is cold.[(((((triple1) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule6) triple1) -> rule1))] @3: Dave is round.[(((((((triple1) -> rule4) triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule6) triple1) -> rule1)) -> rule2))]