Bob is quiet. Charlie is white. If someone is red and not green then they are not quiet. If someone is green and not nice then they are not quiet. If Charlie is nice then Charlie is quiet. All red, quiet people are big. If someone is cold then they are big. If Bob is not green then Bob is not big. If someone is big then they are white. If Bob is quiet then Bob is red.
Charlie is white.
@0: Bob is quiet.[(triple1)] Charlie is white.[(triple2)] @1: Bob is red.[(((triple1) -> rule8))] @2: Bob is big.[(((((triple1) -> rule8) triple1) -> rule4))] @3: Bob is white.[(((((((triple1) -> rule8) triple1) -> rule4)) -> rule7))]