Bob is big. Bob is cold. Bob is white. Dave is nice. Erin is red. Erin is smart. Fiona is nice. If something is red and smart then it is furry. Smart things are big. If something is red and white then it is smart. All red, furry things are smart. If something is furry then it is white. All smart, white things are big.
Dave is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is white.[(triple3)] Dave is nice.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Fiona is nice.[(triple7)] @1: Erin is big.[(((triple6) -> rule2) OR ((triple6 ((((triple5 triple6) -> rule1)) -> rule5)) -> rule6))] Erin is furry.[(((triple5 triple6) -> rule1))] @2: Erin is white.[(((((triple5 triple6) -> rule1)) -> rule5))]