Bob is kind. Dave is cold. Dave is furry. Dave is kind. Erin is furry. Erin is white. Harry is cold. Harry is furry. Harry is not green. Harry is white. If something is cold then it is furry. If Erin is smart and Erin is not furry then Erin is big.
Erin is white.
@0: Bob is kind.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3 OR ((triple2) -> rule1))] Dave is kind.[(triple4)] Erin is furry.[(triple5)] Erin is white.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple7) -> rule1))] Harry is not green.[(triple9)] Harry is white.[(triple10)]