Bob is big. Erin is cold. Fiona is not big. Fiona is cold. Fiona is not red. Gary is big. Gary is nice. If something is big and not red then it is nice. If something is cold and not red then it is not nice. If something is cold and nice then it is quiet. If something is cold and red then it is quiet. Red things are kind. Smart, quiet things are not kind.
Fiona is cold.
@0: Bob is big.[(triple1)] Erin is cold.[(triple2)] Fiona is cold.[(triple4)] Fiona is not big.[(triple3)] Fiona is not red.[(triple5)] Gary is big.[(triple6)] Gary is nice.[(triple7)] @1: Fiona is not nice.[(((triple4 triple5) -> rule2))]