Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is white. Dave is young. All white, big things are blue. All furry, kind things are white. Red, kind things are big.
Dave is white.
@0: Dave is big.[(triple1 OR ((triple5 triple4) -> rule3))] Dave is blue.[(triple2 OR ((triple6 triple1) -> rule1) OR ((triple6 ((triple5 triple4) -> rule3)) -> rule1) OR ((((triple3 triple4) -> rule2) triple1) -> rule1) OR ((((triple3 triple4) -> rule2) ((triple5 triple4) -> rule3)) -> rule1))] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6 OR ((triple3 triple4) -> rule2))] Dave is young.[(triple7)]