Anne is blue. Anne is cold. Bob is blue. Bob is cold. Bob is kind. Bob is rough. Bob is not smart. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Gary is cold. Gary is kind. Gary is quiet. All blue things are green. If Anne is rough and Anne is not smart then Anne is green.
Bob is blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Bob is blue.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5)] Bob is not smart.[(triple7)] Bob is rough.[(triple6)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple8) -> rule1))] Fiona is kind.[(triple11)] Fiona is smart.[(triple12)] Gary is cold.[(triple13)] Gary is kind.[(triple14)] Gary is quiet.[(triple15)] @1: Anne is green.[(((triple1) -> rule1))] Bob is green.[(((triple3) -> rule1))]