Anne is cold. Anne is furry. Anne is quiet. Anne is red. Bob is quiet. Bob is young. Dave is cold. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is young. Gary is cold. Gary is green. Gary is kind. Kind things are young. Cold things are quiet. If something is kind and furry then it is red.
Anne is green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule2))] Anne is red.[(triple4)] Bob is quiet.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11 OR ((triple7) -> rule2))] Dave is red.[(triple12 OR ((triple10 triple8) -> rule3))] Dave is young.[(triple13 OR ((triple10) -> rule1))] Gary is cold.[(triple14)] Gary is green.[(triple15)] Gary is kind.[(triple16)] @1: Gary is quiet.[(((triple14) -> rule2))] Gary is young.[(((triple16) -> rule1))]