Erin is blue. Erin is kind. Erin is red. Erin is not rough. Fiona is big. Fiona is blue. Fiona is not kind. Fiona is not red. Fiona is rough. Gary is big. Gary is red. Gary is round. Round, kind people are blue. If someone is furry and not blue then they are big. If someone is blue then they are big.
Fiona is rough.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2)] Erin is not rough.[(triple4)] Erin is red.[(triple3)] Fiona is big.[(triple5 OR ((triple6) -> rule3))] Fiona is blue.[(triple6)] Fiona is not kind.[(triple7)] Fiona is not red.[(triple8)] Fiona is rough.[(triple9)] Gary is big.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Erin is big.[(((triple1) -> rule3))]