Bob is cold. Charlie is nice. Fiona is green. Fiona is smart. Fiona is young. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is smart. All smart, green people are blue. If someone is young then they are green. All blue, nice people are green.
Charlie is not blue.
@0: Bob is cold.[(triple1)] Charlie is nice.[(triple2)] Fiona is green.[(triple3 OR ((triple5) -> rule2))] Fiona is smart.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6 OR ((triple10 triple8) -> rule1))] Gary is cold.[(triple7)] Gary is green.[(triple8 OR ((triple6 triple9) -> rule3))] Gary is nice.[(triple9)] Gary is smart.[(triple10)] @1: Fiona is blue.[(((triple4 triple3) -> rule1) OR ((triple4 ((triple5) -> rule2)) -> rule1))]