Bob is blue. Bob is cold. Bob is red. Bob is rough. Bob is smart. Charlie is blue. Charlie is smart. Fiona is cold. Fiona is quiet. Fiona is red. Gary is blue. Gary is red. Gary is rough. Gary is smart. Gary is young. If Gary is red then Gary is blue. If Gary is quiet then Gary is rough. If Bob is young then Bob is rough.
Fiona is not smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Charlie is blue.[(triple6)] Charlie is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Gary is blue.[(triple11 OR ((triple12) -> rule1))] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)]