Erin is not blue. Erin is kind. Erin is not quiet. Erin is red. Erin is rough. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Blue things are round. If Fiona is rough and Fiona is kind then Fiona is red.
Erin is quiet.
@0: Erin is kind.[(triple2)] Erin is not blue.[(triple1)] Erin is not quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10 OR ((triple11 triple7) -> rule2))] Fiona is rough.[(triple11)] Fiona is round.[(triple12 OR ((triple6) -> rule1))]