Anne is quiet. Charlie is big. Charlie is nice. Charlie is quiet. Charlie is young. Erin is big. Erin is green. Erin is not nice. Erin is red. Erin is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is not red. Nice people are big. If someone is green and blue then they are big. If someone is quiet then they are big. If someone is blue then they are quiet. If someone is nice and young then they are quiet. If someone is nice and young then they are not green. All nice people are not green. If someone is quiet and not blue then they are not red.
Fiona is blue.
@0: Anne is quiet.[(triple1)] Charlie is big.[(triple2 OR ((triple3) -> rule1) OR ((triple4) -> rule3) OR ((((triple3 triple5) -> rule5)) -> rule3))] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple3 triple5) -> rule5))] Charlie is young.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple7)] Erin is not nice.[(triple8)] Erin is red.[(triple9)] Erin is young.[(triple10)] Fiona is big.[(triple11 OR ((triple14) -> rule3) OR ((triple13 triple12) -> rule2) OR ((((triple12) -> rule4)) -> rule3))] Fiona is blue.[(triple12)] Fiona is green.[(triple13)] Fiona is not red.[(triple15)] Fiona is quiet.[(triple14 OR ((triple12) -> rule4))] @1: Anne is big.[(((triple1) -> rule3))] Charlie is not green.[(((triple3) -> rule7) OR ((triple3 triple5) -> rule6))]