Bob is red. Dave is white. Fiona is white. Harry is quiet. If something is nice then it is smart. Kind, red things are nice. If Dave is red then Dave is kind. All blue things are kind. If something is quiet and red then it is nice. All smart things are red. Blue things are nice. Quiet things are blue.
Bob is not quiet.
@0: Bob is red.[(triple1)] Dave is white.[(triple2)] Fiona is white.[(triple3)] Harry is quiet.[(triple4)] @1: Harry is blue.[(((triple4) -> rule8))] @2: Harry is kind.[(((((triple4) -> rule8)) -> rule4))] Harry is nice.[(((((triple4) -> rule8)) -> rule7))] @3: Harry is smart.[(((((((triple4) -> rule8)) -> rule7)) -> rule1))] @4: Harry is red.[(((((((((triple4) -> rule8)) -> rule7)) -> rule1)) -> rule6))]