Charlie is big. Charlie is blue. Charlie is cold. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is quiet. Gary is rough. Gary is smart. Gary is white. All cold people are rough. If someone is rough and cold then they are white.
Gary is rough.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7 OR ((triple5) -> rule1))] Fiona is white.[(triple8 OR ((triple7 triple5) -> rule2) OR ((((triple5) -> rule1) triple5) -> rule2))] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is quiet.[(triple12)] Gary is rough.[(triple13 OR ((triple11) -> rule1))] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple13 triple11) -> rule2) OR ((((triple11) -> rule1) triple11) -> rule2))] @1: Charlie is rough.[(((triple3) -> rule1))] @2: Charlie is white.[(((((triple3) -> rule1) triple3) -> rule2))]