Anne is cold. Anne is green. Anne is round. Anne is smart. Charlie is big. Charlie is green. Charlie is kind. Charlie is round. Charlie is smart. Charlie is young. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is round. Erin is smart. All cold, kind people are smart. All big people are green. All young people are kind. If Erin is round and Erin is big then Erin is cold. If Anne is young then Anne is kind. If Erin is green and Erin is big then Erin is round. Kind, cold people are big. Green people are kind.
Charlie is cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple1 ((triple2) -> rule8)) -> rule1))] Charlie is big.[(triple5)] Charlie is green.[(triple6 OR ((triple5) -> rule2))] Charlie is kind.[(triple7 OR ((triple10) -> rule3) OR ((triple6) -> rule8) OR ((((triple5) -> rule2)) -> rule8))] Charlie is round.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] Erin is big.[(triple11 OR ((triple14 triple12) -> rule7) OR ((((triple13) -> rule8) triple12) -> rule7))] Erin is cold.[(triple12 OR ((triple15 triple11) -> rule4) OR ((((triple13 triple11) -> rule6) triple11) -> rule4) OR ((((((triple11) -> rule2) triple11) -> rule6) triple11) -> rule4))] Erin is green.[(triple13 OR ((triple11) -> rule2) OR ((((triple14 triple12) -> rule7)) -> rule2))] Erin is kind.[(triple14 OR ((triple13) -> rule8) OR ((((triple11) -> rule2)) -> rule8))] Erin is round.[(triple15 OR ((triple13 triple11) -> rule6) OR ((triple13 ((triple14 triple12) -> rule7)) -> rule6) OR ((((triple11) -> rule2) triple11) -> rule6) OR ((((triple11) -> rule2) ((triple14 triple12) -> rule7)) -> rule6) OR ((triple13 ((((triple13) -> rule8) triple12) -> rule7)) -> rule6) OR ((((((triple14 triple12) -> rule7)) -> rule2) triple11) -> rule6) OR ((((triple11) -> rule2) ((((triple13) -> rule8) triple12) -> rule7)) -> rule6) OR ((((((triple14 triple12) -> rule7)) -> rule2) ((triple14 triple12) -> rule7)) -> rule6) OR ((((((triple14 triple12) -> rule7)) -> rule2) ((((triple13) -> rule8) triple12) -> rule7)) -> rule6))] Erin is smart.[(triple16 OR ((triple12 triple14) -> rule1) OR ((triple12 ((triple13) -> rule8)) -> rule1) OR ((((triple15 triple11) -> rule4) triple14) -> rule1) OR ((((triple15 triple11) -> rule4) ((triple13) -> rule8)) -> rule1) OR ((triple12 ((((triple11) -> rule2)) -> rule8)) -> rule1) OR ((((((triple13 triple11) -> rule6) triple11) -> rule4) triple14) -> rule1) OR ((((triple15 triple11) -> rule4) ((((triple11) -> rule2)) -> rule8)) -> rule1) OR ((((((triple13 triple11) -> rule6) triple11) -> rule4) ((triple13) -> rule8)) -> rule1) OR ((((((triple13 triple11) -> rule6) triple11) -> rule4) ((((triple11) -> rule2)) -> rule8)) -> rule1) OR ((((((((triple11) -> rule2) triple11) -> rule6) triple11) -> rule4) triple14) -> rule1) OR ((((((((triple11) -> rule2) triple11) -> rule6) triple11) -> rule4) ((triple13) -> rule8)) -> rule1) OR ((((((((triple11) -> rule2) triple11) -> rule6) triple11) -> rule4) ((((triple11) -> rule2)) -> rule8)) -> rule1))] @1: Anne is kind.[(((triple2) -> rule8))] @2: Anne is big.[(((((triple2) -> rule8) triple1) -> rule7))]