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