Bob is furry. Bob is white. Erin is rough. Erin is white. Fiona is round. Harry is kind. Harry is white. If Fiona is smart then Fiona is quiet. All kind, rough people are white. All kind people are furry. If someone is rough and white then they are quiet. Rough people are smart. White people are rough. If someone is smart then they are furry. If someone is round then they are kind. All furry, kind people are white.
Fiona is kind.
@0: Bob is furry.[(triple1 OR ((((((triple2) -> rule6)) -> rule5)) -> rule7))] Bob is white.[(triple2)] Erin is rough.[(triple3 OR ((triple4) -> rule6))] Erin is white.[(triple4)] Fiona is round.[(triple5)] Harry is kind.[(triple6)] Harry is white.[(triple7 OR ((((triple6) -> rule3) triple6) -> rule9))] @1: Bob is rough.[(((triple2) -> rule6))] Erin is quiet.[(((triple3 triple4) -> rule4) OR ((((triple4) -> rule6) triple4) -> rule4))] Erin is smart.[(((triple3) -> rule5) OR ((((triple4) -> rule6)) -> rule5))] Fiona is kind.[(((triple5) -> rule8))] Harry is furry.[(((triple6) -> rule3) OR ((((((triple7) -> rule6)) -> rule5)) -> rule7))] Harry is rough.[(((triple7) -> rule6) OR ((((((triple6) -> rule3) triple6) -> rule9)) -> rule6))] @2: Bob is quiet.[(((((triple2) -> rule6) triple2) -> rule4))] Bob is smart.[(((((triple2) -> rule6)) -> rule5))] Erin is furry.[(((((triple3) -> rule5)) -> rule7) OR ((((((triple4) -> rule6)) -> rule5)) -> rule7))] Fiona is furry.[(((((triple5) -> rule8)) -> rule3))] Harry is quiet.[(((((triple7) -> rule6) triple7) -> rule4) OR ((((triple7) -> rule6) ((((triple6) -> rule3) triple6) -> rule9)) -> rule4) OR ((((((((triple6) -> rule3) triple6) -> rule9)) -> rule6) triple7) -> rule4) OR ((((((((triple6) -> rule3) triple6) -> rule9)) -> rule6) ((((triple6) -> rule3) triple6) -> rule9)) -> rule4))] Harry is smart.[(((((triple7) -> rule6)) -> rule5) OR ((((((((triple6) -> rule3) triple6) -> rule9)) -> rule6)) -> rule5))] @3: Fiona is white.[(((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule9))] @4: Fiona is rough.[(((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule9)) -> rule6))] @5: Fiona is quiet.[(((((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule9)) -> rule6) ((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule9)) -> rule4) OR ((((((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule9)) -> rule6)) -> rule5)) -> rule1))] Fiona is smart.[(((((((((((triple5) -> rule8)) -> rule3) ((triple5) -> rule8)) -> rule9)) -> rule6)) -> rule5))]