Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is white. Fiona is green. Fiona is not kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Gary is green. Gary is quiet. Gary is red. Gary is rough. If someone is green then they are red. All green, quiet people are rough. If Bob is not quiet then Bob is green.
Fiona is cold.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Fiona is green.[(triple7)] Fiona is not kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10 OR ((triple7) -> rule1))] Fiona is rough.[(triple11 OR ((triple7 triple9) -> rule2))] Fiona is white.[(triple12)] Gary is green.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15 OR ((triple13) -> rule1))] Gary is rough.[(triple16 OR ((triple13 triple14) -> rule2))]