「このチルドレンは確認し易いし加えてすりゃ良い」ということは成り立たない
fact1: なんらかのものは工藤智道だということはない fact2: 仮にとある物は工藤智道でないなら「このチルドレンは確認し易くて加えてそれはすりゃ良い」ということは嘘だ fact3: 仮にあの弁理士会は瞬きしないなら「この選択状況は調べするということはなくてそれは引火でない」ということは成り立たない fact4: 仮に「なにかは調べしなくてそれにそれは引火でない」ということは成り立たないならそれは操作し易くない fact5: あの弁理士会は瞬きしない fact6: 「なんらかのものは工藤智道でなくてしかも受け取らない」ということは成り立つということはないとしたら工藤智道だ
fact1 & fact2 -> hypothesis;
このチルドレンは確認し易くてさらにそれはすりゃ良い
fact10 -> int1: 「あの世界先住民宣教協会は工藤智道でないし受け取らない」ということは誤りだとすればそれは工藤智道だ; fact9 -> int2: もしも「「この選択状況は調べしないしそれにそれは引火でない」ということは正しい」ということは間違いであるとするとそれは操作し易くない; fact8 & fact7 -> int3: 「この選択状況は調べしないし引火でない」ということは成り立たない; int2 & int3 -> int4: この選択状況は操作し易くない; int4 -> int5: なんらかの物は操作し易くない;
$facts$ = fact1: なんらかのものは工藤智道だということはない fact2: 仮にとある物は工藤智道でないなら「このチルドレンは確認し易くて加えてそれはすりゃ良い」ということは嘘だ fact3: 仮にあの弁理士会は瞬きしないなら「この選択状況は調べするということはなくてそれは引火でない」ということは成り立たない fact4: 仮に「なにかは調べしなくてそれにそれは引火でない」ということは成り立たないならそれは操作し易くない fact5: あの弁理士会は瞬きしない fact6: 「なんらかのものは工藤智道でなくてしかも受け取らない」ということは成り立つということはないとしたら工藤智道だ ; $hypothesis$ = 「このチルドレンは確認し易いし加えてすりゃ良い」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: なんらかのものは工藤智道だということはない
事実2: 仮にとある物は工藤智道でないなら「このチルドレンは確認し易くて加えてそれはすりゃ良い」ということは嘘だ
事実3: 仮にあの弁理士会は瞬きしないなら「この選択状況は調べするということはなくてそれは引火でない」ということは成り立たない
事実4: 仮に「なにかは調べしなくてそれにそれは引火でない」ということは成り立たないならそれは操作し易くない
事実5: あの弁理士会は瞬きしない
事実6: 「なんらかのものは工藤智道でなくてしかも受け取らない」ということは成り立つということはないとしたら工藤智道だ

仮説: 「このチルドレンは確認し易いし加えてすりゃ良い」ということは成り立たない
1. 事実1と事実2から、仮説が導かれる

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