Charlie is big. Charlie is red. Erin is cold. Erin is round. Fiona is round. Gary is big. Gary is blue. Nice people are red. Red people are big.
Fiona is not red.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule2))] Charlie is red.[(triple2)] Erin is cold.[(triple3)] Erin is round.[(triple4)] Fiona is round.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)]