Bob is blue. Bob is quiet. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is red. Gary is cold. Gary is kind. Gary is red. All green, quiet things are nice. If something is blue then it is kind.
Bob is quiet.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple3) -> rule2))] Charlie is red.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10)] @1: Bob is kind.[(((triple1) -> rule2))]