Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Dave is young. All furry, young things are smart. All rough things are quiet. Furry, quiet things are rough. If Dave is white then Dave is furry. If something is quiet then it is rough. Young, blue things are quiet. All white things are furry. If something is smart and furry then it is young.
Dave is white.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple6) -> rule4) OR ((triple6) -> rule7))] Dave is quiet.[(triple3 OR ((triple4) -> rule2) OR ((triple7 triple1) -> rule6) OR ((((triple5 triple2) -> rule8) triple1) -> rule6) OR ((((triple5 ((triple6) -> rule4)) -> rule8) triple1) -> rule6) OR ((((triple5 ((triple6) -> rule7)) -> rule8) triple1) -> rule6))] Dave is rough.[(triple4 OR ((triple3) -> rule5) OR ((triple2 triple3) -> rule3) OR ((((triple7 triple1) -> rule6)) -> rule5) OR ((triple2 ((triple7 triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule4) triple3) -> rule3) OR ((((triple6) -> rule7) triple3) -> rule3) OR ((((triple6) -> rule4) ((triple7 triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule7) ((triple7 triple1) -> rule6)) -> rule3) OR ((((((triple5 triple2) -> rule8) triple1) -> rule6)) -> rule5) OR ((triple2 ((((triple5 triple2) -> rule8) triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule4) ((((triple5 triple2) -> rule8) triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 triple2) -> rule8) triple1) -> rule6)) -> rule3) OR ((((((triple5 ((triple6) -> rule4)) -> rule8) triple1) -> rule6)) -> rule5) OR ((((((triple5 ((triple6) -> rule7)) -> rule8) triple1) -> rule6)) -> rule5) OR ((triple2 ((((triple5 ((triple6) -> rule4)) -> rule8) triple1) -> rule6)) -> rule3) OR ((triple2 ((((triple5 ((triple6) -> rule7)) -> rule8) triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule4) ((((triple5 ((triple6) -> rule4)) -> rule8) triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule4) ((((triple5 ((triple6) -> rule7)) -> rule8) triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule4)) -> rule8) triple1) -> rule6)) -> rule3) OR ((((triple6) -> rule7) ((((triple5 ((triple6) -> rule7)) -> rule8) triple1) -> rule6)) -> rule3))] Dave is smart.[(triple5 OR ((triple2 triple7) -> rule1) OR ((((triple6) -> rule4) triple7) -> rule1) OR ((((triple6) -> rule7) triple7) -> rule1))] Dave is white.[(triple6)] Dave is young.[(triple7 OR ((triple5 triple2) -> rule8) OR ((triple5 ((triple6) -> rule4)) -> rule8) OR ((triple5 ((triple6) -> rule7)) -> rule8))]