Bob is green. Bob is round. Dave is blue. Dave is cold. Dave is furry. Dave is not green. Dave is quiet. Dave is round. Gary is blue. Gary is furry. Gary is kind. Gary is not round. Harry is cold. Harry is furry. Harry is round. All quiet things are blue. If something is kind then it is green. Quiet, blue things are not green. If something is kind and furry then it is green. Green things are kind. If something is cold then it is quiet.
Gary is cold.
@0: Bob is green.[(triple1)] Bob is round.[(triple2)] Dave is blue.[(triple3 OR ((triple7) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is not green.[(triple6 OR ((triple7 triple3) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3) OR ((((triple4) -> rule6) triple3) -> rule3) OR ((((triple4) -> rule6) ((triple7) -> rule1)) -> rule3) OR ((triple7 ((((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule3))] Dave is quiet.[(triple7 OR ((triple4) -> rule6))] Dave is round.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is not round.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is round.[(triple15)] @1: Bob is kind.[(((triple1) -> rule5))] Gary is green.[(((triple11) -> rule2) OR ((triple11 triple10) -> rule4))] Harry is quiet.[(((triple13) -> rule6))] @2: Harry is blue.[(((((triple13) -> rule6)) -> rule1))] @3: Harry is not green.[(((((triple13) -> rule6) ((((triple13) -> rule6)) -> rule1)) -> rule3))]