Anne is rough. Charlie is quiet. Charlie is smart. Charlie is white. Erin is quiet. Erin is red. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. If someone is furry and round then they are smart. All round, red people are furry. All smart, furry people are rough. If Erin is red then Erin is white. All smart, rough people are furry. All furry, rough people are round. If someone is white then they are rough. If someone is red and rough then they are smart. All red, rough people are white.
Anne is red.
@0: Anne is rough.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9 OR ((((triple10 ((triple11) -> rule7)) -> rule5) ((triple11) -> rule7)) -> rule6) OR ((((((triple8 ((triple11) -> rule7)) -> rule8) ((triple11) -> rule7)) -> rule5) ((triple11) -> rule7)) -> rule6))] Fiona is smart.[(triple10 OR ((triple8 ((triple11) -> rule7)) -> rule8) OR ((((triple9 triple8) -> rule2) triple9) -> rule1))] Fiona is white.[(triple11 OR ((triple8 ((triple10 ((triple9 triple8) -> rule2)) -> rule3)) -> rule9) OR ((triple8 ((((((triple9 triple8) -> rule2) triple9) -> rule1) ((triple9 triple8) -> rule2)) -> rule3)) -> rule9))] @1: Charlie is rough.[(((triple4) -> rule7))] Erin is white.[(((triple6) -> rule4))] Fiona is furry.[(((triple9 triple8) -> rule2) OR ((triple10 ((triple11) -> rule7)) -> rule5) OR ((((triple8 ((triple11) -> rule7)) -> rule8) ((triple11) -> rule7)) -> rule5))] Fiona is rough.[(((triple11) -> rule7) OR ((triple10 ((triple9 triple8) -> rule2)) -> rule3) OR ((((((triple9 triple8) -> rule2) triple9) -> rule1) ((triple9 triple8) -> rule2)) -> rule3))] @2: Charlie is furry.[(((triple3 ((triple4) -> rule7)) -> rule5))] Erin is rough.[(((((triple6) -> rule4)) -> rule7))] @3: Charlie is round.[(((((triple3 ((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule6))] Erin is smart.[(((triple6 ((((triple6) -> rule4)) -> rule7)) -> rule8))] @4: Erin is furry.[(((((triple6 ((((triple6) -> rule4)) -> rule7)) -> rule8) ((((triple6) -> rule4)) -> rule7)) -> rule5))] @5: Erin is round.[(((((((triple6 ((((triple6) -> rule4)) -> rule7)) -> rule8) ((((triple6) -> rule4)) -> rule7)) -> rule5) ((((triple6) -> rule4)) -> rule7)) -> rule6))]