Anne is green. Bob is not green. Bob is red. Bob is round. Fiona is not kind. Fiona is young. Gary is cold. Young, round people are kind. If someone is quiet and green then they are round. If someone is cold and red then they are not round. Red people are young. If Gary is round and Gary is young then Gary is kind. If Anne is quiet and Anne is round then Anne is red. Green people are quiet. If Bob is cold then Bob is not quiet.
Anne is not young.
@0: Anne is green.[(triple1)] Bob is not green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Fiona is not kind.[(triple5)] Fiona is young.[(triple6)] Gary is cold.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule7))] Bob is young.[(((triple3) -> rule4))] @2: Anne is round.[(((((triple1) -> rule7) triple1) -> rule2))] Bob is kind.[(((((triple3) -> rule4) triple4) -> rule1))] @3: Anne is red.[(((((triple1) -> rule7) ((((triple1) -> rule7) triple1) -> rule2)) -> rule6))] @4: Anne is young.[(((((((triple1) -> rule7) ((((triple1) -> rule7) triple1) -> rule2)) -> rule6)) -> rule4))] @5: Anne is kind.[(((((((((triple1) -> rule7) ((((triple1) -> rule7) triple1) -> rule2)) -> rule6)) -> rule4) ((((triple1) -> rule7) triple1) -> rule2)) -> rule1))]