Anne is big. Bob is kind. Erin is furry. Erin is quiet. Gary is kind. Gary is round. Gary is smart. If someone is cold then they are quiet. Quiet, round people are smart. All kind, smart people are cold. If someone is quiet then they are round. If Erin is cold and Erin is round then Erin is big. Round, furry people are kind.
Gary is smart.
@0: Anne is big.[(triple1)] Bob is kind.[(triple2)] Erin is furry.[(triple3)] Erin is quiet.[(triple4)] Gary is kind.[(triple5)] Gary is round.[(triple6 OR ((((((triple5 triple7) -> rule3)) -> rule1)) -> rule4))] Gary is smart.[(triple7)] @1: Erin is round.[(((triple4) -> rule4))] Gary is cold.[(((triple5 triple7) -> rule3))] @2: Erin is kind.[(((((triple4) -> rule4) triple3) -> rule6))] Erin is smart.[(((triple4 ((triple4) -> rule4)) -> rule2))] Gary is quiet.[(((((triple5 triple7) -> rule3)) -> rule1))] @3: Erin is cold.[(((((((triple4) -> rule4) triple3) -> rule6) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule3))] @4: Erin is big.[(((((((((triple4) -> rule4) triple3) -> rule6) ((triple4 ((triple4) -> rule4)) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5))]