Anne is big. Bob is big. Gary is not cold. Harry is furry. Furry people are not smart. All cold people are furry. All big, young people are not furry. If someone is cold then they are big. If Bob is not cold then Bob is not nice. If Anne is smart and Anne is young then Anne is white.
Harry is not furry.
@0: Anne is big.[(triple1)] Bob is big.[(triple2)] Gary is not cold.[(triple3)] Harry is furry.[(triple4)] @1: Harry is not smart.[(((triple4) -> rule1))]