Bob is big. Bob is cold. Bob is furry. Bob is smart. Dave is furry. Gary is rough. Gary is smart. Rough, furry people are cold. Rough people are furry. All furry people are kind.
Gary is not smart.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is smart.[(triple4)] Dave is furry.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)] @1: Bob is kind.[(((triple3) -> rule3))] Dave is kind.[(((triple5) -> rule3))] Gary is furry.[(((triple6) -> rule2))] @2: Gary is cold.[(((triple6 ((triple6) -> rule2)) -> rule1))] Gary is kind.[(((((triple6) -> rule2)) -> rule3))]