Charlie is big. Charlie is blue. Charlie is cold. Charlie is quiet. Charlie is round. Charlie is smart. Charlie is young. Erin is big. Erin is cold. Erin is quiet. Erin is round. Erin is smart. Erin is young. Harry is cold. Harry is quiet. Harry is smart. If someone is cold then they are quiet. All young people are big. Round people are quiet. Big people are round. If someone is quiet and round then they are young. If someone is young and blue then they are cold. If someone is smart then they are cold. Smart people are big.
Erin is smart.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule8) OR ((triple7) -> rule2) OR ((((triple4 triple5) -> rule5)) -> rule2) OR ((((((triple3) -> rule1) triple5) -> rule5)) -> rule2) OR ((((((triple5) -> rule3) triple5) -> rule5)) -> rule2) OR ((((((((triple6) -> rule7)) -> rule1) triple5) -> rule5)) -> rule2))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple6) -> rule7) OR ((triple7 triple2) -> rule6) OR ((((triple4 triple5) -> rule5) triple2) -> rule6) OR ((((triple4 ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((triple5) -> rule3) triple5) -> rule5) triple2) -> rule6) OR ((((((triple5) -> rule3) ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((triple4 ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((triple1) -> rule4)) -> rule3) triple5) -> rule5) triple2) -> rule6) OR ((((((triple5) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((triple1) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3) triple5) -> rule5) triple2) -> rule6) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) triple2) -> rule6) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) triple2) -> rule6))] Charlie is quiet.[(triple4 OR ((triple3) -> rule1) OR ((triple5) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple6) -> rule7)) -> rule1) OR ((((triple7 triple2) -> rule6)) -> rule1) OR ((((((triple6) -> rule8)) -> rule4)) -> rule3) OR ((((((triple7) -> rule2)) -> rule4)) -> rule3))] Charlie is round.[(triple5 OR ((triple1) -> rule4) OR ((((triple6) -> rule8)) -> rule4) OR ((((triple7) -> rule2)) -> rule4))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple1) -> rule4)) -> rule5) OR ((((triple3) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule3) triple5) -> rule5) OR ((((triple3) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((triple5) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((triple4 ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) triple5) -> rule5) OR ((((((triple6) -> rule7)) -> rule1) triple5) -> rule5) OR ((((triple3) -> rule1) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((triple5) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((((triple6) -> rule7)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((triple1) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((triple6) -> rule7)) -> rule1) ((((triple6) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule3) triple5) -> rule5) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((triple1) -> rule4)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule3) ((((triple6) -> rule8)) -> rule4)) -> rule5))] Erin is big.[(triple8 OR ((triple12) -> rule8) OR ((triple13) -> rule2) OR ((((triple10 triple11) -> rule5)) -> rule2) OR ((((((triple11) -> rule3) triple11) -> rule5)) -> rule2) OR ((((((triple9) -> rule1) triple11) -> rule5)) -> rule2) OR ((((((((triple12) -> rule7)) -> rule1) triple11) -> rule5)) -> rule2))] Erin is cold.[(triple9 OR ((triple12) -> rule7))] Erin is quiet.[(triple10 OR ((triple11) -> rule3) OR ((triple9) -> rule1) OR ((((triple12) -> rule7)) -> rule1) OR ((((triple8) -> rule4)) -> rule3) OR ((((((triple12) -> rule8)) -> rule4)) -> rule3) OR ((((((triple13) -> rule2)) -> rule4)) -> rule3))] Erin is round.[(triple11 OR ((triple8) -> rule4) OR ((((triple12) -> rule8)) -> rule4) OR ((((triple13) -> rule2)) -> rule4))] Erin is smart.[(triple12)] Erin is young.[(triple13 OR ((triple10 triple11) -> rule5) OR ((triple10 ((triple8) -> rule4)) -> rule5) OR ((((triple11) -> rule3) triple11) -> rule5) OR ((((triple9) -> rule1) triple11) -> rule5) OR ((((triple11) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((triple9) -> rule1) ((triple8) -> rule4)) -> rule5) OR ((triple10 ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((triple12) -> rule7)) -> rule1) triple11) -> rule5) OR ((((((triple8) -> rule4)) -> rule3) triple11) -> rule5) OR ((((triple11) -> rule3) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((triple9) -> rule1) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((triple12) -> rule7)) -> rule1) ((triple8) -> rule4)) -> rule5) OR ((((((triple8) -> rule4)) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((((triple12) -> rule7)) -> rule1) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((triple8) -> rule4)) -> rule3) ((((triple12) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple12) -> rule8)) -> rule4)) -> rule3) triple11) -> rule5) OR ((((((((triple12) -> rule8)) -> rule4)) -> rule3) ((triple8) -> rule4)) -> rule5) OR ((((((((triple12) -> rule8)) -> rule4)) -> rule3) ((((triple12) -> rule8)) -> rule4)) -> rule5))] Harry is cold.[(triple14 OR ((triple16) -> rule7))] Harry is quiet.[(triple15 OR ((triple14) -> rule1) OR ((((triple16) -> rule7)) -> rule1) OR ((((((triple16) -> rule8)) -> rule4)) -> rule3))] Harry is smart.[(triple16)] @1: Harry is big.[(((triple16) -> rule8))] @2: Harry is round.[(((((triple16) -> rule8)) -> rule4))] @3: Harry is young.[(((triple15 ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((triple14) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((triple16) -> rule7)) -> rule1) ((((triple16) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple16) -> rule8)) -> rule4)) -> rule3) ((((triple16) -> rule8)) -> rule4)) -> rule5))]