Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is white. Erin is big. Erin is blue. Erin is quiet. Erin is round. Erin is white. Fiona is quiet. Fiona is red. Fiona is white. If Erin is blue and Erin is big then Erin is white. If something is big then it is round. If Charlie is quiet and Charlie is red then Charlie is kind.
Fiona is not round.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3 OR ((triple4 triple5) -> rule3))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple1) -> rule2))] Charlie is white.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is quiet.[(triple10)] Erin is round.[(triple11 OR ((triple8) -> rule2))] Erin is white.[(triple12 OR ((triple9 triple8) -> rule1))] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is white.[(triple15)]