Erin is red. Erin is rough. Erin is white. Fiona is round. Fiona is white. Gary is blue. Gary is cold. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is white. Red, round people are white. Rough, blue people are white. If Fiona is red then Fiona is blue. If someone is white and round then they are rough. If Gary is blue and Gary is nice then Gary is rough. If someone is round then they are white.
Fiona is not blue.
@0: Erin is red.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] Fiona is round.[(triple4)] Fiona is white.[(triple5 OR ((triple4) -> rule6))] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10 OR ((triple12 triple11) -> rule4) OR ((triple6 triple8) -> rule5) OR ((((triple11) -> rule6) triple11) -> rule4) OR ((((triple9 triple11) -> rule1) triple11) -> rule4))] Gary is round.[(triple11)] Gary is white.[(triple12 OR ((triple11) -> rule6) OR ((triple10 triple6) -> rule2) OR ((triple9 triple11) -> rule1) OR ((((triple6 triple8) -> rule5) triple6) -> rule2))] @1: Fiona is rough.[(((triple5 triple4) -> rule4) OR ((((triple4) -> rule6) triple4) -> rule4))]