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