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