Bob is not kind. Charlie is big. Dave is big. Harry is red. If something is big and quiet then it is cold. All red things are cold. Kind things are big. Red things are big. Kind things are big. Big things are nice. If something is quiet and not red then it is nice. If Bob is not red then Bob is quiet.
Bob is not quiet.
@0: Bob is not kind.[(triple1)] Charlie is big.[(triple2)] Dave is big.[(triple3)] Harry is red.[(triple4)] @1: Charlie is nice.[(((triple2) -> rule6))] Dave is nice.[(((triple3) -> rule6))] Harry is big.[(((triple4) -> rule4))] Harry is cold.[(((triple4) -> rule2))] @2: Harry is nice.[(((((triple4) -> rule4)) -> rule6))]