Anne is kind. Anne is red. Dave is white. Fiona is not nice. Fiona is quiet. Fiona is young. Gary is quiet. If someone is rough then they are not kind. Red people are young. If someone is white then they are rough. If someone is quiet then they are red. If someone is nice then they are quiet. Quiet, young people are white.
Gary is not kind.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Dave is white.[(triple3)] Fiona is not nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is young.[(triple6 OR ((((triple5) -> rule4)) -> rule2))] Gary is quiet.[(triple7)] @1: Anne is young.[(((triple2) -> rule2))] Dave is rough.[(((triple3) -> rule3))] Fiona is red.[(((triple5) -> rule4))] Fiona is white.[(((triple5 triple6) -> rule6) OR ((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule6))] Gary is red.[(((triple7) -> rule4))] @2: Dave is not kind.[(((((triple3) -> rule3)) -> rule1))] Fiona is rough.[(((((triple5 triple6) -> rule6)) -> rule3) OR ((((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule6)) -> rule3))] Gary is young.[(((((triple7) -> rule4)) -> rule2))] @3: Fiona is not kind.[(((((((triple5 triple6) -> rule6)) -> rule3)) -> rule1) OR ((((((triple5 ((((triple5) -> rule4)) -> rule2)) -> rule6)) -> rule3)) -> rule1))] Gary is white.[(((triple7 ((((triple7) -> rule4)) -> rule2)) -> rule6))] @4: Gary is rough.[(((((triple7 ((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3))] @5: Gary is not kind.[(((((((triple7 ((((triple7) -> rule4)) -> rule2)) -> rule6)) -> rule3)) -> rule1))]