Bob is cold. Bob is furry. Bob is white. Erin is cold. Erin is furry. Erin is white. Fiona is smart. Gary is big. Gary is furry. Gary is round. Gary is smart. Gary is white. White, furry things are big. If something is cold and not nice then it is big. If something is white and not smart then it is not cold. If Fiona is smart then Fiona is furry. All white, big things are furry. If something is cold then it is white. If Erin is white then Erin is big. If something is smart and not white then it is round.
Gary is round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3 OR ((triple1) -> rule6))] Erin is cold.[(triple4)] Erin is furry.[(triple5 OR ((triple6 ((triple6) -> rule7)) -> rule5) OR ((((triple4) -> rule6) ((triple6) -> rule7)) -> rule5) OR ((triple6 ((((triple4) -> rule6)) -> rule7)) -> rule5) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule7)) -> rule5))] Erin is white.[(triple6 OR ((triple4) -> rule6))] Fiona is smart.[(triple7)] Gary is big.[(triple8 OR ((triple12 triple9) -> rule1))] Gary is furry.[(triple9 OR ((triple12 triple8) -> rule5))] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Bob is big.[(((triple3 triple2) -> rule1) OR ((((triple1) -> rule6) triple2) -> rule1))] Erin is big.[(((triple6) -> rule7) OR ((triple6 triple5) -> rule1) OR ((((triple4) -> rule6)) -> rule7) OR ((((triple4) -> rule6) triple5) -> rule1))] Fiona is furry.[(((triple7) -> rule4))]