Bob is smart. Erin is not furry. Fiona is nice. Gary is kind. Furry, nice people are cold. If someone is quiet then they are cold. Red people are not cold. Kind people are furry. All quiet people are red. Smart, nice people are quiet. All red, quiet people are kind. If Fiona is red then Fiona is not nice.
Erin is not furry.
@0: Bob is smart.[(triple1)] Erin is not furry.[(triple2)] Fiona is nice.[(triple3)] Gary is kind.[(triple4)] @1: Gary is furry.[(((triple4) -> rule4))]