Anne is quiet. Bob is round. Charlie is quiet. Gary is big. If Charlie is nice and Charlie is big then Charlie is young. All quiet people are young. Quiet people are not nice. If someone is cold then they are quiet. If Anne is not nice then Anne is big. All cold, big people are round. If Bob is cold and Bob is round then Bob is young. Big people are not kind.
Gary is not round.
@0: Anne is quiet.[(triple1)] Bob is round.[(triple2)] Charlie is quiet.[(triple3)] Gary is big.[(triple4)] @1: Anne is not nice.[(((triple1) -> rule3))] Anne is young.[(((triple1) -> rule2))] Charlie is not nice.[(((triple3) -> rule3))] Charlie is young.[(((triple3) -> rule2))] Gary is not kind.[(((triple4) -> rule8))] @2: Anne is big.[(((((triple1) -> rule3)) -> rule5))] @3: Anne is not kind.[(((((((triple1) -> rule3)) -> rule5)) -> rule8))]