Dave is cold. Dave is furry. Dave is green. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Gary is blue. Gary is nice. Gary is red. Harry is blue. Harry is cold. Harry is nice. Cold things are nice. Nice, rough things are cold. Red, furry things are green. All nice things are furry. If Harry is red then Harry is furry. If Fiona is rough then Fiona is green. All rough things are green. If something is cold then it is blue.
Dave is not rough.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2 OR ((((triple1) -> rule1)) -> rule4))] Dave is green.[(triple3)] Fiona is blue.[(triple4 OR ((triple5) -> rule8) OR ((((triple8 triple10) -> rule2)) -> rule8))] Fiona is cold.[(triple5 OR ((triple8 triple10) -> rule2))] Fiona is furry.[(triple6 OR ((triple8) -> rule4) OR ((((triple5) -> rule1)) -> rule4))] Fiona is green.[(triple7 OR ((triple10) -> rule6) OR ((triple10) -> rule7) OR ((triple9 triple6) -> rule3) OR ((triple9 ((triple8) -> rule4)) -> rule3) OR ((triple9 ((((triple5) -> rule1)) -> rule4)) -> rule3))] Fiona is nice.[(triple8 OR ((triple5) -> rule1))] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Gary is blue.[(triple11)] Gary is nice.[(triple12)] Gary is red.[(triple13)] Harry is blue.[(triple14 OR ((triple15) -> rule8))] Harry is cold.[(triple15)] Harry is nice.[(triple16 OR ((triple15) -> rule1))] @1: Dave is blue.[(((triple1) -> rule8))] Dave is nice.[(((triple1) -> rule1))] Gary is furry.[(((triple12) -> rule4))] Harry is furry.[(((triple16) -> rule4) OR ((((triple15) -> rule1)) -> rule4))] @2: Gary is green.[(((triple13 ((triple12) -> rule4)) -> rule3))]