Dave is blue. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is rough. Erin is round. Erin is white. Erin is young. Young, rough things are green. If something is round and blue then it is rough. If Dave is blue and Dave is kind then Dave is round. All kind things are blue. All round, rough things are green. Young, round things are kind.
Erin is not white.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule4) OR ((((triple7 triple5) -> rule6)) -> rule4))] Dave is green.[(triple2 OR ((triple5 triple4) -> rule5) OR ((triple7 triple4) -> rule1) OR ((triple5 ((triple5 triple1) -> rule2)) -> rule5) OR ((triple7 ((triple5 triple1) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) triple4) -> rule5) OR ((((triple1 triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule5) OR ((triple5 ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((triple7 ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule1) OR ((((((triple3) -> rule4) triple3) -> rule3) triple4) -> rule5) OR ((triple5 ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple5 triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple5 ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1 triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((triple7 ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule1) OR ((triple5 ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((triple7 ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((triple5 ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple7 ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((((triple1 triple3) -> rule3) ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2)) -> rule5))] Dave is kind.[(triple3 OR ((triple7 triple5) -> rule6))] Dave is rough.[(triple4 OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple3) -> rule4)) -> rule2) OR ((((triple1 triple3) -> rule3) triple1) -> rule2) OR ((((triple1 triple3) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((triple5 ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) triple1) -> rule2) OR ((((triple1 triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((((((triple3) -> rule4) triple3) -> rule3) ((((triple7 triple5) -> rule6)) -> rule4)) -> rule2))] Dave is round.[(triple5 OR ((triple1 triple3) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule3))] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is blue.[(triple8 OR ((triple10) -> rule4) OR ((((triple14 triple12) -> rule6)) -> rule4))] Erin is green.[(triple9 OR ((triple12 triple11) -> rule5) OR ((triple14 triple11) -> rule1) OR ((triple12 ((triple12 triple8) -> rule2)) -> rule5) OR ((triple14 ((triple12 triple8) -> rule2)) -> rule1) OR ((triple12 ((triple12 ((triple10) -> rule4)) -> rule2)) -> rule5) OR ((triple14 ((triple12 ((triple10) -> rule4)) -> rule2)) -> rule1) OR ((triple12 ((triple12 ((((triple14 triple12) -> rule6)) -> rule4)) -> rule2)) -> rule5) OR ((triple14 ((triple12 ((((triple14 triple12) -> rule6)) -> rule4)) -> rule2)) -> rule1))] Erin is kind.[(triple10 OR ((triple14 triple12) -> rule6))] Erin is rough.[(triple11 OR ((triple12 triple8) -> rule2) OR ((triple12 ((triple10) -> rule4)) -> rule2) OR ((triple12 ((((triple14 triple12) -> rule6)) -> rule4)) -> rule2))] Erin is round.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)]