Anne is cold. Anne is round. Bob is nice. Bob is young. Gary is quiet. Gary is not round. Gary is young. If Anne is nice and Anne is cold then Anne is rough. Quiet, cold things are not kind. Round things are kind. If something is young and not round then it is rough. Nice things are quiet. If something is kind then it is cold. If something is young and rough then it is cold. Nice things are young.
Anne is not kind.
@0: Anne is cold.[(triple1 OR ((((triple2) -> rule3)) -> rule6))] Anne is round.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4 OR ((triple3) -> rule8))] Gary is not round.[(triple6)] Gary is quiet.[(triple5)] Gary is young.[(triple7)] @1: Anne is kind.[(((triple2) -> rule3))] Bob is quiet.[(((triple3) -> rule5))] Gary is rough.[(((triple7 triple6) -> rule4))] @2: Gary is cold.[(((triple7 ((triple7 triple6) -> rule4)) -> rule7))] @3: Gary is not kind.[(((triple5 ((triple7 ((triple7 triple6) -> rule4)) -> rule7)) -> rule2))]