Anne is blue. Bob is quiet. Bob is smart. Charlie is big. Charlie is not blue. Charlie is furry. Charlie is quiet. Charlie is round. Charlie is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is not white. All smart, furry people are quiet. If Charlie is not round then Charlie is smart. If someone is quiet then they are furry. If Bob is white and Bob is quiet then Bob is not big. If someone is furry and not smart then they are big. If someone is smart and not white then they are big. If someone is white and not furry then they are big. Round people are big.
Anne is not big.
@0: Anne is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple8) -> rule8))] Charlie is furry.[(triple6 OR ((triple7) -> rule3))] Charlie is not blue.[(triple5)] Charlie is quiet.[(triple7 OR ((triple9 triple6) -> rule1))] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Fiona is big.[(triple10 OR ((triple14) -> rule8) OR ((triple15 triple16) -> rule6))] Fiona is blue.[(triple11)] Fiona is furry.[(triple12 OR ((triple13) -> rule3))] Fiona is not white.[(triple16)] Fiona is quiet.[(triple13 OR ((triple15 triple12) -> rule1))] Fiona is round.[(triple14)] Fiona is smart.[(triple15)] @1: Bob is furry.[(((triple2) -> rule3))]