Anne is round. Dave is big. Fiona is quiet. Fiona is young. Harry is furry. Harry is round. Harry is young. Round, quiet people are furry. If someone is smart then they are rough. If someone is smart and young then they are quiet. If Anne is round then Anne is smart. Smart people are young. Quiet people are round. Big people are smart. All young, quiet people are big.
Dave is quiet.
@0: Anne is round.[(triple1)] Dave is big.[(triple2)] Fiona is quiet.[(triple3)] Fiona is young.[(triple4)] Harry is furry.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7)] @1: Anne is smart.[(((triple1) -> rule4))] Dave is smart.[(((triple2) -> rule7))] Fiona is big.[(((triple4 triple3) -> rule8))] Fiona is round.[(((triple3) -> rule6))] @2: Anne is rough.[(((((triple1) -> rule4)) -> rule2))] Anne is young.[(((((triple1) -> rule4)) -> rule5))] Dave is rough.[(((((triple2) -> rule7)) -> rule2))] Dave is young.[(((((triple2) -> rule7)) -> rule5))] Fiona is furry.[(((((triple3) -> rule6) triple3) -> rule1))] Fiona is smart.[(((((triple4 triple3) -> rule8)) -> rule7))] @3: Anne is quiet.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule3))] Dave is quiet.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule3))] Fiona is rough.[(((((((triple4 triple3) -> rule8)) -> rule7)) -> rule2))] @4: Anne is big.[(((((((triple1) -> rule4)) -> rule5) ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule3)) -> rule8))] Anne is furry.[(((triple1 ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule5)) -> rule3)) -> rule1))] Dave is round.[(((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule3)) -> rule6))] @5: Dave is furry.[(((((((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule3)) -> rule6) ((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule5)) -> rule3)) -> rule1))]