Bob is blue. Bob is not furry. Bob is green. Bob is nice. Fiona is smart. Gary is green. Harry is not furry. If Fiona is red then Fiona is not blue. If something is green and quiet then it is not smart. Furry things are not quiet. If Bob is smart then Bob is furry. If Bob is blue then Bob is quiet. If Bob is not smart then Bob is red.
Harry is not blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not furry.[(triple2)] Fiona is smart.[(triple5)] Gary is green.[(triple6)] Harry is not furry.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule5))] @2: Bob is not smart.[(((triple3 ((triple1) -> rule5)) -> rule2))] @3: Bob is red.[(((((triple3 ((triple1) -> rule5)) -> rule2)) -> rule6))]