Dave is cold. Dave is smart. Gary is furry. Gary is smart. Gary is white. Harry is big. Harry is smart. Smart people are furry. If Dave is young then Dave is cold. White, furry people are smart. Blue people are big. All furry people are smart. If Dave is furry then Dave is blue. All furry people are white. If someone is big then they are furry.
Dave is white.
@0: Dave is cold.[(triple1)] Dave is smart.[(triple2)] Gary is furry.[(triple3 OR ((triple4) -> rule1))] Gary is smart.[(triple4 OR ((triple3) -> rule5) OR ((triple5 triple3) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule3))] Gary is white.[(triple5 OR ((triple3) -> rule7) OR ((((triple4) -> rule1)) -> rule7))] Harry is big.[(triple6)] Harry is smart.[(triple7 OR ((((triple6) -> rule8)) -> rule5) OR ((((((triple6) -> rule8)) -> rule7) ((triple6) -> rule8)) -> rule3))] @1: Dave is furry.[(((triple2) -> rule1))] Harry is furry.[(((triple6) -> rule8) OR ((triple7) -> rule1))] @2: Dave is blue.[(((((triple2) -> rule1)) -> rule6))] Dave is white.[(((((triple2) -> rule1)) -> rule7))] Harry is white.[(((((triple6) -> rule8)) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] @3: Dave is big.[(((((((triple2) -> rule1)) -> rule6)) -> rule4))]