Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Erin is cold. Erin is quiet. Fiona is big. Fiona is cold. Gary is big. Gary is nice. Gary is rough. Quiet, cold people are nice. If someone is quiet and white then they are big. If someone is quiet then they are red.
Fiona is not cold.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((triple2) -> rule3))] Charlie is rough.[(triple4)] Charlie is white.[(triple5)] Erin is cold.[(triple6)] Erin is quiet.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Gary is big.[(triple10)] Gary is nice.[(triple11)] Gary is rough.[(triple12)] @1: Charlie is big.[(((triple2 triple5) -> rule2))] Erin is nice.[(((triple7 triple6) -> rule1))] Erin is red.[(((triple7) -> rule3))]