Dave is green. Fiona is blue. Fiona is young. Gary is green. Gary is red. Harry is furry. Harry is rough. Green, furry things are young. Young things are blue. If something is young and furry then it is rough. All red things are young. If Harry is green then Harry is young. All rough, red things are quiet. If Harry is young and Harry is blue then Harry is red. Furry things are young.
Harry is not young.
@0: Dave is green.[(triple1)] Fiona is blue.[(triple2 OR ((triple3) -> rule2))] Fiona is young.[(triple3)] Gary is green.[(triple4)] Gary is red.[(triple5)] Harry is furry.[(triple6)] Harry is rough.[(triple7 OR ((((triple6) -> rule8) triple6) -> rule3))] @1: Gary is young.[(((triple5) -> rule4))] Harry is young.[(((triple6) -> rule8))] @2: Gary is blue.[(((((triple5) -> rule4)) -> rule2))] Harry is blue.[(((((triple6) -> rule8)) -> rule2))] @3: Harry is red.[(((((triple6) -> rule8) ((((triple6) -> rule8)) -> rule2)) -> rule7))] @4: Harry is quiet.[(((triple7 ((((triple6) -> rule8) ((((triple6) -> rule8)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple6) -> rule8) triple6) -> rule3) ((((triple6) -> rule8) ((((triple6) -> rule8)) -> rule2)) -> rule7)) -> rule6))]