Anne is white. Erin is big. Fiona is green. Gary is young. White things are big. If something is big then it is green. All green things are red. If something is green and cold then it is big. If Gary is white and Gary is red then Gary is round. If Anne is white then Anne is big.
Gary is not green.
@0: Anne is white.[(triple1)] Erin is big.[(triple2)] Fiona is green.[(triple3)] Gary is young.[(triple4)] @1: Anne is big.[(((triple1) -> rule1) OR ((triple1) -> rule6))] Erin is green.[(((triple2) -> rule2))] Fiona is red.[(((triple3) -> rule3))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Erin is red.[(((((triple2) -> rule2)) -> rule3))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((((triple1) -> rule6)) -> rule2)) -> rule3))]