Bob is not furry. Bob is smart. Gary is cold. Gary is furry. Gary is red. Gary is smart. Gary is white. Harry is big. Harry is not cold. Harry is furry. Harry is smart. Harry is white. If someone is nice and not cold then they are big. All red, cold people are big. All big people are not nice. If Harry is red and Harry is smart then Harry is furry. If someone is white and nice then they are not red. If someone is smart and not big then they are furry.
Gary is red.
@0: Bob is not furry.[(triple1)] Bob is smart.[(triple2)] Gary is cold.[(triple3)] Gary is furry.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple10)] Harry is not cold.[(triple9)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Gary is big.[(((triple5 triple3) -> rule2))] Harry is not nice.[(((triple8) -> rule3))] @2: Gary is not nice.[(((((triple5 triple3) -> rule2)) -> rule3))]