Dave is furry. Dave is green. Dave is red. Gary is big. Gary is not blue. Gary is furry. Gary is green. Gary is not quiet. Gary is smart. Harry is big. Harry is green. Harry is not quiet. If Harry is red and Harry is green then Harry is blue. If someone is blue then they are furry. If someone is green and not quiet then they are red.
Harry is red.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is red.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is not blue.[(triple5)] Gary is not quiet.[(triple8)] Gary is smart.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11)] Harry is not quiet.[(triple12)] @1: Gary is red.[(((triple7 triple8) -> rule3))] Harry is red.[(((triple11 triple12) -> rule3))] @2: Harry is blue.[(((((triple11 triple12) -> rule3) triple11) -> rule1))] @3: Harry is furry.[(((((((triple11 triple12) -> rule3) triple11) -> rule1)) -> rule2))]