Charlie is cold. Charlie is furry. Dave is nice. Fiona is furry. Fiona is red. Harry is furry. Harry is kind. If Fiona is kind and Fiona is cold then Fiona is blue. All red things are nice. If Dave is cold then Dave is furry. If Fiona is nice then Fiona is red. Nice things are red. If something is kind then it is cold. If something is cold and kind then it is furry. All nice, furry things are blue. Red things are kind.
Harry is not red.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Dave is nice.[(triple3)] Fiona is furry.[(triple4 OR ((((((triple5) -> rule9)) -> rule6) ((triple5) -> rule9)) -> rule7))] Fiona is red.[(triple5)] Harry is furry.[(triple6 OR ((((triple7) -> rule6) triple7) -> rule7))] Harry is kind.[(triple7)] @1: Dave is red.[(((triple3) -> rule5))] Fiona is kind.[(((triple5) -> rule9))] Fiona is nice.[(((triple5) -> rule2))] Harry is cold.[(((triple7) -> rule6))] @2: Dave is kind.[(((((triple3) -> rule5)) -> rule9))] Fiona is blue.[(((((triple5) -> rule2) triple4) -> rule8) OR ((((triple5) -> rule9) ((((triple5) -> rule9)) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((((((triple5) -> rule9)) -> rule6) ((triple5) -> rule9)) -> rule7)) -> rule8))] Fiona is cold.[(((((triple5) -> rule9)) -> rule6))] @3: Dave is cold.[(((((((triple3) -> rule5)) -> rule9)) -> rule6))] @4: Dave is furry.[(((((((((triple3) -> rule5)) -> rule9)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule5)) -> rule9)) -> rule6) ((((triple3) -> rule5)) -> rule9)) -> rule7))] @5: Dave is blue.[(((triple3 ((((((((triple3) -> rule5)) -> rule9)) -> rule6)) -> rule3)) -> rule8) OR ((triple3 ((((((((triple3) -> rule5)) -> rule9)) -> rule6) ((((triple3) -> rule5)) -> rule9)) -> rule7)) -> rule8))]