「そのＢスティ・ボーイズはみみっちいということはないしその上成長要因でない」ということは成り立たない
fact1: もしもそのＤＡＩＳＹはみみっちいなら「そのＢスティ・ボーイズはみみっちくないが成長要因だ」ということは誤りである fact2: もしもそのＢスティ・ボーイズは成長要因ならば「そのＤＡＩＳＹは成長要因でないがしかしみみっちい」ということは間違っている fact3: 「そのＤＡＩＳＹは松本市街であるがしかし倣うということはない」ということは成り立たないとしたらこの中央政界は松本市街でない fact4: 仮にこの中央政界が松本市街であるとするとそのＤＡＩＳＹはみみっちい fact5: 「そのＢスティ・ボーイズはみみっちいということはないけれど成長要因だ」ということは成り立たない fact6: この中央政界は松本市街である fact7: もしもそのＤＡＩＳＹはみみっちいなら「そのＢスティ・ボーイズはみみっちくないしそれに成長要因でない」ということは真実だということはない
fact4 & fact6 -> int1: そのＤＡＩＳＹはみみっちい; int1 & fact7 -> hypothesis;
fact4 & fact6 -> int1: {B}{b}; int1 & fact7 -> hypothesis;
そのＢスティ・ボーイズはみみっちくないしそれは成長要因でない
$facts$ = fact1: もしもそのＤＡＩＳＹはみみっちいなら「そのＢスティ・ボーイズはみみっちくないが成長要因だ」ということは誤りである fact2: もしもそのＢスティ・ボーイズは成長要因ならば「そのＤＡＩＳＹは成長要因でないがしかしみみっちい」ということは間違っている fact3: 「そのＤＡＩＳＹは松本市街であるがしかし倣うということはない」ということは成り立たないとしたらこの中央政界は松本市街でない fact4: 仮にこの中央政界が松本市街であるとするとそのＤＡＩＳＹはみみっちい fact5: 「そのＢスティ・ボーイズはみみっちいということはないけれど成長要因だ」ということは成り立たない fact6: この中央政界は松本市街である fact7: もしもそのＤＡＩＳＹはみみっちいなら「そのＢスティ・ボーイズはみみっちくないしそれに成長要因でない」ということは真実だということはない ; $hypothesis$ = 「そのＢスティ・ボーイズはみみっちいということはないしその上成長要因でない」ということは成り立たない ; $proof$ = 
fact4 & fact6 -> int1: そのＤＡＩＳＹはみみっちい; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしもそのＤＡＩＳＹはみみっちいなら「そのＢスティ・ボーイズはみみっちくないが成長要因だ」ということは誤りである
事実2: もしもそのＢスティ・ボーイズは成長要因ならば「そのＤＡＩＳＹは成長要因でないがしかしみみっちい」ということは間違っている
事実3: 「そのＤＡＩＳＹは松本市街であるがしかし倣うということはない」ということは成り立たないとしたらこの中央政界は松本市街でない
事実4: 仮にこの中央政界が松本市街であるとするとそのＤＡＩＳＹはみみっちい
事実5: 「そのＢスティ・ボーイズはみみっちいということはないけれど成長要因だ」ということは成り立たない
事実6: この中央政界は松本市街である
事実7: もしもそのＤＡＩＳＹはみみっちいなら「そのＢスティ・ボーイズはみみっちくないしそれに成長要因でない」ということは真実だということはない

仮説: 「そのＢスティ・ボーイズはみみっちいということはないしその上成長要因でない」ということは成り立たない
1. 事実4と事実6から、推論1: "そのＤＡＩＳＹはみみっちい"が導かれる
2. 推論1と事実7から、仮説が導かれる

よって、仮説が証明されました。