Bob is furry. Charlie is big. Fiona is big. Gary is cold. If someone is nice then they are cold. All smart, nice people are cold. If someone is furry and young then they are big. If Fiona is nice and Fiona is smart then Fiona is big. Big, young people are round. All cold people are furry. If Gary is smart and Gary is not young then Gary is cold. If someone is young then they are nice.
Charlie is not nice.
@0: Bob is furry.[(triple1)] Charlie is big.[(triple2)] Fiona is big.[(triple3)] Gary is cold.[(triple4)] @1: Gary is furry.[(((triple4) -> rule6))]