Bob is nice. Bob is red. Bob is round. Dave is furry. Dave is not round. Fiona is blue. Fiona is furry. Fiona is round. Harry is big. Harry is round. All blue, big things are furry. If something is red then it is furry. If Harry is not big then Harry is quiet. Big things are round. All big things are blue. If Dave is round and Dave is furry then Dave is not red. If something is big and furry then it is quiet. If something is big then it is not nice.
Dave is quiet.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Dave is furry.[(triple4)] Dave is not round.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is round.[(triple8)] Harry is big.[(triple9)] Harry is round.[(triple10 OR ((triple9) -> rule4))] @1: Bob is furry.[(((triple2) -> rule2))] Harry is blue.[(((triple9) -> rule5))] Harry is not nice.[(((triple9) -> rule8))] @2: Harry is furry.[(((((triple9) -> rule5) triple9) -> rule1))] @3: Harry is quiet.[(((triple9 ((((triple9) -> rule5) triple9) -> rule1)) -> rule7))]