Anne is blue. Anne is nice. Anne is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is white. Big people are blue. If someone is green and big then they are white.
Gary is not kind.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5 OR ((triple4) -> rule1))] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10 OR ((triple7 triple4) -> rule2))] Gary is big.[(triple11)] Gary is blue.[(triple12 OR ((triple11) -> rule1))] Gary is cold.[(triple13)] Gary is green.[(triple14)] Gary is nice.[(triple15)] Gary is white.[(triple16 OR ((triple14 triple11) -> rule2))]