Anne is big. Anne is cold. Anne is nice. Anne is smart. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is round. Gary is cold. Gary is round. Gary is smart. All big, smart things are kind. All kind, smart things are big. Nice, big things are furry. If Erin is smart then Erin is round. All big, cold things are round. If something is nice then it is smart. All round, furry things are smart. Nice, cold things are smart.
Erin is kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4 OR ((triple3) -> rule6) OR ((triple3 triple2) -> rule8) OR ((((triple1 triple2) -> rule5) ((triple3 triple1) -> rule3)) -> rule7))] Erin is big.[(triple5 OR ((triple8 ((triple9 triple7) -> rule7)) -> rule2))] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8 OR ((triple5 ((triple9 triple7) -> rule7)) -> rule1) OR ((triple5 ((((triple5 triple6) -> rule5) triple7) -> rule7)) -> rule1))] Erin is round.[(triple9 OR ((triple5 triple6) -> rule5))] Gary is cold.[(triple10)] Gary is round.[(triple11)] Gary is smart.[(triple12)] @1: Anne is furry.[(((triple3 triple1) -> rule3))] Anne is kind.[(((triple1 triple4) -> rule1) OR ((triple1 ((triple3) -> rule6)) -> rule1) OR ((triple1 ((triple3 triple2) -> rule8)) -> rule1) OR ((triple1 ((((triple1 triple2) -> rule5) ((triple3 triple1) -> rule3)) -> rule7)) -> rule1))] Anne is round.[(((triple1 triple2) -> rule5))] Erin is smart.[(((triple9 triple7) -> rule7) OR ((((triple5 triple6) -> rule5) triple7) -> rule7))]