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