Anne is big. Anne is cold. Anne is green. Erin is big. Erin is cold. Erin is white. Fiona is cold. Fiona is green. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is red. Gary is white. Gary is young. If Fiona is young then Fiona is big. Big, green people are red. If someone is red then they are white.
Fiona is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is white.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is young.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is green.[(triple13)] Gary is red.[(triple14 OR ((triple10 triple13) -> rule2))] Gary is white.[(triple15 OR ((triple14) -> rule3) OR ((((triple10 triple13) -> rule2)) -> rule3))] Gary is young.[(triple16)] @1: Anne is red.[(((triple1 triple3) -> rule2))] Fiona is big.[(((triple9) -> rule1))] @2: Anne is white.[(((((triple1 triple3) -> rule2)) -> rule3))] Fiona is red.[(((((triple9) -> rule1) triple8) -> rule2))] @3: Fiona is white.[(((((((triple9) -> rule1) triple8) -> rule2)) -> rule3))]