Bob is cold. Bob is quiet. Erin is cold. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Harry is furry. All cold, rough things are furry. Rough, furry things are blue. Furry things are nice. All rough, nice things are quiet. If something is cold then it is blue. All blue things are quiet.
Erin is not cold.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2 OR ((((triple1) -> rule5)) -> rule6))] Erin is cold.[(triple3)] Fiona is blue.[(triple4 OR ((triple5) -> rule5) OR ((triple9 triple6) -> rule2) OR ((triple9 ((triple5 triple9) -> rule1)) -> rule2))] Fiona is cold.[(triple5)] Fiona is furry.[(triple6 OR ((triple5 triple9) -> rule1))] Fiona is green.[(triple7)] Fiona is quiet.[(triple8 OR ((triple4) -> rule6) OR ((((triple5) -> rule5)) -> rule6) OR ((((triple9 triple6) -> rule2)) -> rule6) OR ((triple9 ((triple6) -> rule3)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule1)) -> rule2)) -> rule6) OR ((triple9 ((((triple5 triple9) -> rule1)) -> rule3)) -> rule4))] Fiona is rough.[(triple9)] Harry is furry.[(triple10)] @1: Bob is blue.[(((triple1) -> rule5))] Erin is blue.[(((triple3) -> rule5))] Fiona is nice.[(((triple6) -> rule3) OR ((((triple5 triple9) -> rule1)) -> rule3))] Harry is nice.[(((triple10) -> rule3))] @2: Erin is quiet.[(((((triple3) -> rule5)) -> rule6))]