Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Dave is white. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. All white, green people are quiet. Nice people are round. All white, smart people are nice. All nice, kind people are green. Green people are nice. If Dave is green then Dave is smart.
Dave is not smart.
@0: Dave is green.[(triple1 OR ((triple3 triple2) -> rule4) OR ((((triple7 triple6) -> rule3) triple2) -> rule4))] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple1) -> rule5) OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple1) -> rule6)) -> rule3))] Dave is quiet.[(triple4 OR ((triple7 triple1) -> rule1) OR ((triple7 ((triple3 triple2) -> rule4)) -> rule1) OR ((triple7 ((((triple7 triple6) -> rule3) triple2) -> rule4)) -> rule1))] Dave is round.[(triple5 OR ((triple3) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((triple7 triple6) -> rule3)) -> rule2) OR ((((triple7 ((triple1) -> rule6)) -> rule3)) -> rule2))] Dave is smart.[(triple6 OR ((triple1) -> rule6) OR ((((triple3 triple2) -> rule4)) -> rule6))] Dave is white.[(triple7)] Fiona is green.[(triple8 OR ((triple10 triple9) -> rule4) OR ((((triple14 triple13) -> rule3) triple9) -> rule4))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple8) -> rule5) OR ((triple14 triple13) -> rule3))] Fiona is quiet.[(triple11 OR ((triple14 triple8) -> rule1) OR ((triple14 ((triple10 triple9) -> rule4)) -> rule1) OR ((triple14 ((((triple14 triple13) -> rule3) triple9) -> rule4)) -> rule1))] Fiona is round.[(triple12 OR ((triple10) -> rule2) OR ((((triple8) -> rule5)) -> rule2) OR ((((triple14 triple13) -> rule3)) -> rule2))] Fiona is smart.[(triple13)] Fiona is white.[(triple14)]