Bob is cold. Bob is nice. Charlie is furry. Charlie is not green. Charlie is nice. Dave is cold. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Big, furry things are cold. All big things are red. All big things are red. Blue, red things are not nice. Cold things are furry. All big, nice things are furry. If Dave is furry then Dave is big. Cold things are green.
Dave is not red.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple5)] Charlie is not green.[(triple4)] Dave is cold.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8 OR ((triple7) -> rule8))] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] @1: Bob is furry.[(((triple1) -> rule5))] Bob is green.[(((triple1) -> rule8))] Dave is furry.[(((triple6) -> rule5))] Dave is green.[(((triple6) -> rule8))] Fiona is furry.[(((triple7) -> rule5))] @2: Dave is big.[(((((triple6) -> rule5)) -> rule7))] @3: Dave is red.[(((((((triple6) -> rule5)) -> rule7)) -> rule2) OR ((((((triple6) -> rule5)) -> rule7)) -> rule3))]