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