Bob is kind. Bob is smart. Charlie is kind. Fiona is cold. Fiona is kind. Fiona is white. Gary is kind. Smart things are green. If Gary is cold and Gary is kind then Gary is green. If Gary is kind and Gary is big then Gary is green. If Bob is cold then Bob is kind. Big, white things are kind. All green things are kind.
Charlie is kind.
@0: Bob is kind.[(triple1 OR ((((triple2) -> rule1)) -> rule6))] Bob is smart.[(triple2)] Charlie is kind.[(triple3)] Fiona is cold.[(triple4)] Fiona is kind.[(triple5)] Fiona is white.[(triple6)] Gary is kind.[(triple7)] @1: Bob is green.[(((triple2) -> rule1))]