Bob is green. Bob is rough. Dave is not blue. Dave is cold. Fiona is not blue. Fiona is cold. Fiona is nice. Gary is green. Gary is nice. Gary is not red. Gary is rough. Gary is young. If Gary is green then Gary is cold. If something is young and rough then it is cold. Red things are not blue. All young, blue things are not nice. If something is young and not blue then it is not nice. If Fiona is nice then Fiona is green.
Fiona is not cold.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Dave is cold.[(triple4)] Dave is not blue.[(triple3)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is not blue.[(triple5)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is not red.[(triple10)] Gary is rough.[(triple11)] Gary is young.[(triple12)] @1: Fiona is green.[(((triple7) -> rule6))] Gary is cold.[(((triple8) -> rule1) OR ((triple12 triple11) -> rule2))]