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