Bob is kind. Bob is quiet. Bob is rough. Bob is round. Dave is big. Dave is furry. Dave is quiet. Dave is rough. Fiona is big. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is round. Harry is furry. Harry is kind. Harry is quiet. All big, kind people are rough. Furry, rough people are quiet. White, round people are furry. Furry people are round. If someone is kind and furry then they are big. If Bob is big and Bob is round then Bob is furry. All white, round people are furry. If Harry is kind and Harry is big then Harry is furry.
Fiona is not furry.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is quiet.[(triple7 OR ((triple6 triple8) -> rule2))] Dave is rough.[(triple8)] Fiona is big.[(triple9 OR ((triple11 triple10) -> rule5))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is rough.[(triple12 OR ((triple9 triple11) -> rule1) OR ((((triple11 triple10) -> rule5) triple11) -> rule1))] Fiona is round.[(triple13 OR ((triple10) -> rule4))] Harry is furry.[(triple14)] Harry is kind.[(triple15)] Harry is quiet.[(triple16 OR ((triple14 ((((triple15 triple14) -> rule5) triple15) -> rule1)) -> rule2))] @1: Dave is round.[(((triple6) -> rule4))] Fiona is quiet.[(((triple10 triple12) -> rule2) OR ((triple10 ((triple9 triple11) -> rule1)) -> rule2) OR ((triple10 ((((triple11 triple10) -> rule5) triple11) -> rule1)) -> rule2))] Harry is big.[(((triple15 triple14) -> rule5))] Harry is round.[(((triple14) -> rule4))] @2: Harry is rough.[(((((triple15 triple14) -> rule5) triple15) -> rule1))]