Erin is cold. Fiona is cold. Fiona is not quiet. Fiona is rough. Gary is nice. Gary is not quiet. Gary is smart. Smart things are big. Big things are smart. If something is cold and not quiet then it is smart. All big, quiet things are smart. If something is nice and cold then it is not smart. All quiet, big things are not nice. Rough things are not nice. All big things are not blue.
Gary is not blue.
@0: Erin is cold.[(triple1)] Fiona is cold.[(triple2)] Fiona is not quiet.[(triple3)] Fiona is rough.[(triple4)] Gary is nice.[(triple5)] Gary is not quiet.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is not nice.[(((triple4) -> rule7))] Fiona is smart.[(((triple2 triple3) -> rule3))] Gary is big.[(((triple7) -> rule1))] @2: Fiona is big.[(((((triple2 triple3) -> rule3)) -> rule1))] Gary is not blue.[(((((triple7) -> rule1)) -> rule8))] @3: Fiona is not blue.[(((((((triple2 triple3) -> rule3)) -> rule1)) -> rule8))]