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