Dave is cold. Dave is furry. Dave is young. Erin is young. Gary is cold. Gary is quiet. Gary is young. Harry is big. Harry is furry. Harry is quiet. Harry is smart. Harry is young. All furry people are cold. Quiet people are cold. All cold, smart people are big. Quiet people are cold. All quiet, big people are furry. If someone is smart then they are quiet. If Erin is young then Erin is quiet. If Gary is cold then Gary is smart.
Dave is cold.
@0: Dave is cold.[(triple1 OR ((triple2) -> rule1))] Dave is furry.[(triple2)] Dave is young.[(triple3)] Erin is young.[(triple4)] Gary is cold.[(triple5 OR ((triple6) -> rule2) OR ((triple6) -> rule4))] Gary is quiet.[(triple6 OR ((((triple5) -> rule8)) -> rule6))] Gary is young.[(triple7)] Harry is big.[(triple8 OR ((((triple10) -> rule2) triple11) -> rule3) OR ((((triple10) -> rule4) triple11) -> rule3) OR ((((triple9) -> rule1) triple11) -> rule3) OR ((((((triple11) -> rule6)) -> rule2) triple11) -> rule3) OR ((((((triple11) -> rule6)) -> rule4) triple11) -> rule3))] Harry is furry.[(triple9 OR ((triple10 triple8) -> rule5) OR ((((triple11) -> rule6) triple8) -> rule5) OR ((triple10 ((((triple10) -> rule2) triple11) -> rule3)) -> rule5) OR ((triple10 ((((triple10) -> rule4) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((triple10) -> rule2) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((triple10) -> rule4) triple11) -> rule3)) -> rule5) OR ((triple10 ((((((triple11) -> rule6)) -> rule2) triple11) -> rule3)) -> rule5) OR ((triple10 ((((((triple11) -> rule6)) -> rule4) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((((triple11) -> rule6)) -> rule2) triple11) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((((triple11) -> rule6)) -> rule4) triple11) -> rule3)) -> rule5))] Harry is quiet.[(triple10 OR ((triple11) -> rule6))] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Erin is quiet.[(((triple4) -> rule7))] Gary is smart.[(((triple5) -> rule8) OR ((((triple6) -> rule2)) -> rule8) OR ((((triple6) -> rule4)) -> rule8))] Harry is cold.[(((triple10) -> rule2) OR ((triple10) -> rule4) OR ((triple9) -> rule1) OR ((((triple11) -> rule6)) -> rule2) OR ((((triple11) -> rule6)) -> rule4) OR ((((triple10 triple8) -> rule5)) -> rule1) OR ((((((triple11) -> rule6) triple8) -> rule5)) -> rule1))] @2: Erin is cold.[(((((triple4) -> rule7)) -> rule2) OR ((((triple4) -> rule7)) -> rule4))] Gary is big.[(((triple5 ((triple5) -> rule8)) -> rule3) OR ((((triple6) -> rule2) ((triple5) -> rule8)) -> rule3) OR ((((triple6) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((triple5 ((((triple6) -> rule2)) -> rule8)) -> rule3) OR ((triple5 ((((triple6) -> rule4)) -> rule8)) -> rule3) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule3) OR ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule8)) -> rule3) OR ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule8)) -> rule3) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule8)) -> rule3))] @3: Gary is furry.[(((triple6 ((triple5 ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule2) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule4) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((triple5 ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule2) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule4) ((triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((triple5 ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((triple5 ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((triple6 ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((triple5 ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((triple5 ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8)) -> rule6) ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule8)) -> rule3)) -> rule5))]