Anne is not green. Anne is red. Anne is white. Anne is young. Bob is big. Bob is nice. Bob is young. Fiona is big. Fiona is not green. Fiona is red. Fiona is not round. Gary is green. If something is green then it is not white. Round things are green. If Fiona is green then Fiona is big. If something is green and not white then it is nice. If Gary is big and Gary is not white then Gary is not young. If something is round and not white then it is big. If something is nice then it is not red. If something is nice and not young then it is red.
Bob is not white.
@0: Anne is not green.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is nice.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is not green.[(triple9)] Fiona is not round.[(triple11)] Fiona is red.[(triple10)] Gary is green.[(triple12)] @1: Bob is not red.[(((triple6) -> rule7))] Gary is not white.[(((triple12) -> rule1))] @2: Gary is nice.[(((triple12 ((triple12) -> rule1)) -> rule4))] @3: Gary is not red.[(((((triple12 ((triple12) -> rule1)) -> rule4)) -> rule7))]