Erin is blue. Erin is round. Erin is white. Erin is young. Fiona is blue. Fiona is green. Fiona is round. Fiona is young. Gary is blue. Gary is green. Gary is kind. Gary is quiet. All kind, green things are blue. All quiet things are green.
Fiona is white.
@0: Erin is blue.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] Erin is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is round.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9 OR ((triple11 triple10) -> rule1) OR ((triple11 ((triple12) -> rule2)) -> rule1))] Gary is green.[(triple10 OR ((triple12) -> rule2))] Gary is kind.[(triple11)] Gary is quiet.[(triple12)]