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