Dave is cold. Dave is furry. Dave is red. Dave is round. Dave is young. Gary is furry. Gary is green. Gary is quiet. Gary is red. Gary is young. Cold people are quiet. If Dave is cold and Dave is round then Dave is quiet. All quiet people are young. If someone is furry and round then they are cold. If someone is quiet then they are round. All green, furry people are young. If someone is green and round then they are furry. If someone is furry and cold then they are round.
Gary is not furry.
@0: Dave is cold.[(triple1 OR ((triple2 triple4) -> rule4))] Dave is furry.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4 OR ((triple2 triple1) -> rule8) OR ((((triple1) -> rule1)) -> rule5))] Dave is young.[(triple5 OR ((((triple1) -> rule1)) -> rule3) OR ((((triple1 triple4) -> rule2)) -> rule3) OR ((((((triple2 triple4) -> rule4)) -> rule1)) -> rule3) OR ((((triple1 ((triple2 triple1) -> rule8)) -> rule2)) -> rule3) OR ((((((triple2 triple4) -> rule4) triple4) -> rule2)) -> rule3) OR ((((((triple2 triple4) -> rule4) ((triple2 triple1) -> rule8)) -> rule2)) -> rule3))] Gary is furry.[(triple6 OR ((triple7 ((triple8) -> rule5)) -> rule7))] Gary is green.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10 OR ((triple8) -> rule3) OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple7 ((triple8) -> rule5)) -> rule7)) -> rule6))] @1: Dave is quiet.[(((triple1) -> rule1) OR ((triple1 triple4) -> rule2) OR ((((triple2 triple4) -> rule4)) -> rule1) OR ((triple1 ((triple2 triple1) -> rule8)) -> rule2) OR ((((triple2 triple4) -> rule4) triple4) -> rule2) OR ((((triple2 triple4) -> rule4) ((triple2 triple1) -> rule8)) -> rule2))] Gary is round.[(((triple8) -> rule5))] @2: Gary is cold.[(((triple6 ((triple8) -> rule5)) -> rule4) OR ((((triple7 ((triple8) -> rule5)) -> rule7) ((triple8) -> rule5)) -> rule4))]