Dave is blue. Dave is cold. Dave is not quiet. Dave is red. Dave is round. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is red. If Gary is furry and Gary is quiet then Gary is cold. If something is red then it is furry. If Gary is cold and Gary is blue then Gary is furry. All kind things are cold. All blue, red things are kind. If something is blue and round then it is not quiet.
Dave is cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((((triple1 triple4) -> rule5)) -> rule4))] Dave is not quiet.[(triple3 OR ((triple1 triple5) -> rule6))] Dave is red.[(triple4)] Dave is round.[(triple5)] Gary is cold.[(triple6 OR ((triple8) -> rule4) OR ((triple7 triple9) -> rule1) OR ((((triple10) -> rule2) triple9) -> rule1))] Gary is furry.[(triple7 OR ((triple10) -> rule2))] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] @1: Dave is furry.[(((triple4) -> rule2))] Dave is kind.[(((triple1 triple4) -> rule5))]