Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is young. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is young. Harry is big. Harry is blue. Harry is quiet. Harry is red. If something is big then it is blue. All blue, red things are quiet. All green things are big.
Gary is not young.
@0: Dave is big.[(triple1 OR ((triple4) -> rule3))] Dave is blue.[(triple2 OR ((triple1) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5 OR ((triple2 triple6) -> rule2) OR ((((triple1) -> rule1) triple6) -> rule2) OR ((((((triple4) -> rule3)) -> rule1) triple6) -> rule2))] Dave is red.[(triple6)] Dave is young.[(triple7)] Gary is blue.[(triple8 OR ((((triple10) -> rule3)) -> rule1))] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] Harry is big.[(triple13)] Harry is blue.[(triple14 OR ((triple13) -> rule1))] Harry is quiet.[(triple15 OR ((triple14 triple16) -> rule2) OR ((((triple13) -> rule1) triple16) -> rule2))] Harry is red.[(triple16)] @1: Gary is big.[(((triple10) -> rule3))]