Charlie is nice. Harry is red. All red people are blue. Kind, round people are not white. If someone is nice then they are not white. If Harry is blue then Harry is nice. All nice, white people are red. If someone is white and not round then they are red. Blue people are nice. Blue people are kind.
Charlie is quiet.
@0: Charlie is nice.[(triple1)] Harry is red.[(triple2)] @1: Charlie is not white.[(((triple1) -> rule3))] Harry is blue.[(((triple2) -> rule1))] @2: Harry is kind.[(((((triple2) -> rule1)) -> rule8))] Harry is nice.[(((((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule1)) -> rule7))] @3: Harry is not white.[(((((((triple2) -> rule1)) -> rule4)) -> rule3) OR ((((((triple2) -> rule1)) -> rule7)) -> rule3))]