Erin is big. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. Fiona is big. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Round people are red. If someone is young then they are round. All rough people are quiet.
Fiona is not young.
@0: Erin is big.[(triple1)] Erin is quiet.[(triple2 OR ((triple4) -> rule3))] Erin is red.[(triple3 OR ((triple5) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple7) -> rule2))] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is quiet.[(triple9 OR ((triple11) -> rule3))] Fiona is red.[(triple10 OR ((triple12) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] Fiona is rough.[(triple11)] Fiona is round.[(triple12 OR ((triple14) -> rule2))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]