Bob is kind. Charlie is not kind. Fiona is green. Gary is kind. If Bob is white then Bob is round. If something is white then it is kind. All rough things are green. If something is white and kind then it is green. Kind, rough things are not white. All kind, blue things are not white. Kind things are rough. Kind things are quiet.
Bob is kind.
@0: Bob is kind.[(triple1)] Charlie is not kind.[(triple2)] Fiona is green.[(triple3)] Gary is kind.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule8))] Bob is rough.[(((triple1) -> rule7))] Gary is quiet.[(((triple4) -> rule8))] Gary is rough.[(((triple4) -> rule7))] @2: Bob is green.[(((((triple1) -> rule7)) -> rule3))] Bob is not white.[(((triple1 ((triple1) -> rule7)) -> rule5))] Gary is green.[(((((triple4) -> rule7)) -> rule3))] Gary is not white.[(((triple4 ((triple4) -> rule7)) -> rule5))]