Dave is big. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is white. All big people are green. Rough, round people are big. If Dave is green and Dave is round then Dave is smart. If Dave is rough then Dave is big. If Dave is rough then Dave is big. Green, rough people are round.
Dave is not round.
@0: Dave is big.[(triple1 OR ((triple4) -> rule4) OR ((triple4) -> rule5) OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple2 triple4) -> rule6)) -> rule2))] Dave is green.[(triple2 OR ((triple1) -> rule1) OR ((((triple4) -> rule4)) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((triple4 triple5) -> rule2)) -> rule1))] Dave is kind.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple2 triple4) -> rule6) OR ((((triple1) -> rule1) triple4) -> rule6) OR ((((((triple4) -> rule4)) -> rule1) triple4) -> rule6) OR ((((((triple4) -> rule5)) -> rule1) triple4) -> rule6))] Dave is smart.[(triple6 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple2 triple4) -> rule6)) -> rule3) OR ((((triple1) -> rule1) triple5) -> rule3) OR ((((triple1) -> rule1) ((triple2 triple4) -> rule6)) -> rule3) OR ((triple2 ((((triple1) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule5)) -> rule1) triple5) -> rule3) OR ((((((triple4 triple5) -> rule2)) -> rule1) triple5) -> rule3) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) ((triple2 triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule1) ((triple2 triple4) -> rule6)) -> rule3) OR ((((((triple4 triple5) -> rule2)) -> rule1) ((triple2 triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) ((((triple1) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule1) ((((triple1) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4 triple5) -> rule2)) -> rule1) ((((triple1) -> rule1) triple4) -> rule6)) -> rule3) OR ((triple2 ((((((triple4) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((triple2 ((((((triple4) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((triple1) -> rule1) ((((((triple4) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((triple1) -> rule1) ((((((triple4) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) ((((((triple4) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule4)) -> rule1) ((((((triple4) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule1) ((((((triple4) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule1) ((((((triple4) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4 triple5) -> rule2)) -> rule1) ((((((triple4) -> rule4)) -> rule1) triple4) -> rule6)) -> rule3) OR ((((((triple4 triple5) -> rule2)) -> rule1) ((((((triple4) -> rule5)) -> rule1) triple4) -> rule6)) -> rule3))] Dave is white.[(triple7)]