Dave is kind. Fiona is blue. Fiona is furry. Fiona is nice. Gary is cold. Gary is kind. Gary is nice. All furry things are nice. Kind things are blue. Nice things are cold. If something is nice and blue then it is green. If Fiona is cold and Fiona is blue then Fiona is furry. All cold, blue things are quiet. Kind, nice things are blue. All blue things are kind.
Dave is furry.
@0: Dave is kind.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3 OR ((((triple4) -> rule3) triple2) -> rule5))] Fiona is nice.[(triple4 OR ((triple3) -> rule1))] Gary is cold.[(triple5 OR ((triple7) -> rule3))] Gary is kind.[(triple6)] Gary is nice.[(triple7)] @1: Dave is blue.[(((triple1) -> rule2))] Fiona is cold.[(((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Fiona is green.[(((triple4 triple2) -> rule4) OR ((((triple3) -> rule1) triple2) -> rule4))] Fiona is kind.[(((triple2) -> rule8))] Gary is blue.[(((triple6) -> rule2) OR ((triple6 triple7) -> rule7))] @2: Fiona is quiet.[(((((triple4) -> rule3) triple2) -> rule6) OR ((((((triple3) -> rule1)) -> rule3) triple2) -> rule6))] Gary is green.[(((triple7 ((triple6) -> rule2)) -> rule4) OR ((triple7 ((triple6 triple7) -> rule7)) -> rule4))] Gary is quiet.[(((triple5 ((triple6) -> rule2)) -> rule6) OR ((triple5 ((triple6 triple7) -> rule7)) -> rule6) OR ((((triple7) -> rule3) ((triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) ((triple6 triple7) -> rule7)) -> rule6))]