Anne is cold. Anne is kind. Anne is quiet. Anne is not red. Anne is white. Anne is young. Gary is cold. Gary is not kind. Gary is quiet. Gary is red. Gary is rough. Gary is not white. Gary is not young. Harry is quiet. Harry is red. Harry is young. All white things are rough. If Anne is white and Anne is cold then Anne is young. Rough, quiet things are cold. All red things are quiet. If something is rough and kind then it is quiet. If something is kind and not rough then it is quiet. All cold things are quiet. If Harry is cold then Harry is quiet.
Gary is cold.
@0: Anne is cold.[(triple1 OR ((((triple5) -> rule1) triple3) -> rule3) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple2) -> rule5)) -> rule3))] Anne is kind.[(triple2)] Anne is not red.[(triple4)] Anne is quiet.[(triple3 OR ((triple1) -> rule7) OR ((((triple5) -> rule1) triple2) -> rule5))] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple5 triple1) -> rule2) OR ((triple5 ((((triple5) -> rule1) triple3) -> rule3)) -> rule2) OR ((triple5 ((((triple5) -> rule1) ((((triple5) -> rule1) triple2) -> rule5)) -> rule3)) -> rule2))] Gary is cold.[(triple7 OR ((triple11 triple9) -> rule3) OR ((triple11 ((triple10) -> rule4)) -> rule3))] Gary is not kind.[(triple8)] Gary is not white.[(triple12)] Gary is not young.[(triple13)] Gary is quiet.[(triple9 OR ((triple10) -> rule4) OR ((triple7) -> rule7))] Gary is red.[(triple10)] Gary is rough.[(triple11)] Harry is quiet.[(triple14 OR ((triple15) -> rule4))] Harry is red.[(triple15)] Harry is young.[(triple16)] @1: Anne is rough.[(((triple5) -> rule1))]