Dave is green. Erin is furry. Erin is green. Fiona is kind. Fiona is rough. Fiona is round. Harry is green. Harry is kind. Harry is rough. Harry is round. All kind, green things are furry. If Dave is green then Dave is kind. If Dave is kind and Dave is furry then Dave is rough. If Fiona is rough and Fiona is round then Fiona is quiet. All kind things are quiet. Furry, quiet things are round.
Erin is quiet.
@0: Dave is green.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10 OR ((((triple8 triple7) -> rule1) ((triple8) -> rule5)) -> rule6))] @1: Dave is kind.[(((triple1) -> rule2))] Fiona is quiet.[(((triple4) -> rule5) OR ((triple5 triple6) -> rule4))] Harry is furry.[(((triple8 triple7) -> rule1))] Harry is quiet.[(((triple8) -> rule5))] @2: Dave is furry.[(((((triple1) -> rule2) triple1) -> rule1))] Dave is quiet.[(((((triple1) -> rule2)) -> rule5))] @3: Dave is rough.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule1)) -> rule3))] Dave is round.[(((((((triple1) -> rule2) triple1) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6))]