Dave is big. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is white. Smart, kind things are quiet. All smart, quiet things are kind. All kind, smart things are big. All smart things are quiet. Rough, smart things are big. All quiet things are smart.
Dave is not red.
@0: Dave is big.[(triple1 OR ((triple2 triple6) -> rule3) OR ((triple5 triple6) -> rule5) OR ((triple2 ((triple3) -> rule6)) -> rule3) OR ((triple5 ((triple3) -> rule6)) -> rule5) OR ((((triple6 triple3) -> rule2) triple6) -> rule3) OR ((((triple6 triple3) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((triple6 ((triple6) -> rule4)) -> rule2) triple6) -> rule3) OR ((((((triple3) -> rule6) triple3) -> rule2) triple6) -> rule3) OR ((((triple6 ((triple6) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((((triple3) -> rule6) triple3) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((((triple3) -> rule6) ((triple6) -> rule4)) -> rule2) triple6) -> rule3) OR ((((((triple3) -> rule6) ((triple6) -> rule4)) -> rule2) ((triple3) -> rule6)) -> rule3))] Dave is kind.[(triple2 OR ((triple6 triple3) -> rule2) OR ((triple6 ((triple6) -> rule4)) -> rule2) OR ((((triple3) -> rule6) triple3) -> rule2) OR ((((triple3) -> rule6) ((triple6) -> rule4)) -> rule2))] Dave is quiet.[(triple3 OR ((triple6) -> rule4) OR ((triple6 triple2) -> rule1))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple3) -> rule6))] Dave is white.[(triple7)]