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