あのおっつぁんは親らしいということはない
fact1: 仮にあのネルドリップが気難しくないがしかし近いならあのおっつぁんは捜し回る fact2: もし仮に何かは青色申告特別控除額であるか捜し回るとしたら近くない fact3: もし仮にあのおっつぁんが近いかまたは親らしいかまたはどちらもであるならば青色申告特別控除額でない fact4: 仮にあのおっつぁんが近くないがしかし青色申告特別控除額であるとするとあのネルドリップは親らしい fact5: もし仮にあるものは近いかもしくは捜し回るかまたは両方だとしたら親らしくない fact6: 「「誹謗しないけれど唱和する」ということは間違っている」物はある fact7: あのネルドリップは親らしい fact8: この不信心は捜し回る fact9: もしあのネルドリップが親らしくないけど青色申告特別控除額だとするとあのおっつぁんは捜し回る fact10: あのネルドリップは気難しくない fact11: 仮に「「誹謗しないが唱和する」ということは成り立たない」ものがあるとするとその壊死物質は誹謗する fact12: もしも「とあるものは捜し回る」ということは本当だとすれば「それは親らしいということはない」ということは嘘でない fact13: 仮にあのネルドリップが気難しくないけど青色申告特別控除額であるとするとあのおっつぁんは近い fact14: この紛失は青色申告特別控除額だ fact15: その壊死物質は果たせる fact16: もしもあのおっつぁんが捜し回るとしたら親らしくない fact17: もしもなんらかのものが格納出来るということはないならそれは近くないけれど捜し回る fact18: この大編成は気難しい fact19: この回天は捜し回らない fact20: 仮に何らかの物が捜し回るか気難しいかあるいはどちらもだとするとそれは近くない fact21: あのネルドリップは親らしいということはないとしたら「あのおっつぁんは親らしい」ということは真実である fact22: 「あのネルドリップは青色申告特別控除額である」ということは正しい fact23: その二十億人が近くないとしたらあのネルドリップは青色申告特別控除額でない fact24: その狸奴白は捜し回る
fact10 & fact22 -> int1: あのネルドリップは気難しくないが青色申告特別控除額だ; int1 & fact13 -> int2: あのおっつぁんは近い; int2 -> int3: あのおっつぁんは近いかあるいはそれは捜し回るかもしくは両方ともである; fact5 -> int4: 仮にあのおっつぁんが近いか捜し回ればそれは親らしくない; int3 & int4 -> hypothesis;
あのおっつぁんは親らしい
fact25 -> int5: 仮にその二十億人が格納出来ないとするとそれは近くないけど捜し回る; fact30 & fact29 -> int6: その壊死物質は誹謗する; fact26 & int6 -> int7: その壊死物質は果たせるしそれは誹謗する; int7 -> int8: 何らかの物は果たせるしまた誹謗する;
$facts$ = fact1: 仮にあのネルドリップが気難しくないがしかし近いならあのおっつぁんは捜し回る fact2: もし仮に何かは青色申告特別控除額であるか捜し回るとしたら近くない fact3: もし仮にあのおっつぁんが近いかまたは親らしいかまたはどちらもであるならば青色申告特別控除額でない fact4: 仮にあのおっつぁんが近くないがしかし青色申告特別控除額であるとするとあのネルドリップは親らしい fact5: もし仮にあるものは近いかもしくは捜し回るかまたは両方だとしたら親らしくない fact6: 「「誹謗しないけれど唱和する」ということは間違っている」物はある fact7: あのネルドリップは親らしい fact8: この不信心は捜し回る fact9: もしあのネルドリップが親らしくないけど青色申告特別控除額だとするとあのおっつぁんは捜し回る fact10: あのネルドリップは気難しくない fact11: 仮に「「誹謗しないが唱和する」ということは成り立たない」ものがあるとするとその壊死物質は誹謗する fact12: もしも「とあるものは捜し回る」ということは本当だとすれば「それは親らしいということはない」ということは嘘でない fact13: 仮にあのネルドリップが気難しくないけど青色申告特別控除額であるとするとあのおっつぁんは近い fact14: この紛失は青色申告特別控除額だ fact15: その壊死物質は果たせる fact16: もしもあのおっつぁんが捜し回るとしたら親らしくない fact17: もしもなんらかのものが格納出来るということはないならそれは近くないけれど捜し回る fact18: この大編成は気難しい fact19: この回天は捜し回らない fact20: 仮に何らかの物が捜し回るか気難しいかあるいはどちらもだとするとそれは近くない fact21: あのネルドリップは親らしいということはないとしたら「あのおっつぁんは親らしい」ということは真実である fact22: 「あのネルドリップは青色申告特別控除額である」ということは正しい fact23: その二十億人が近くないとしたらあのネルドリップは青色申告特別控除額でない fact24: その狸奴白は捜し回る ; $hypothesis$ = あのおっつぁんは親らしいということはない ; $proof$ = 
fact10 & fact22 -> int1: あのネルドリップは気難しくないが青色申告特別控除額だ; int1 & fact13 -> int2: あのおっつぁんは近い; int2 -> int3: あのおっつぁんは近いかあるいはそれは捜し回るかもしくは両方ともである; fact5 -> int4: 仮にあのおっつぁんが近いか捜し回ればそれは親らしくない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にあのネルドリップが気難しくないがしかし近いならあのおっつぁんは捜し回る
事実2: もし仮に何かは青色申告特別控除額であるか捜し回るとしたら近くない
事実3: もし仮にあのおっつぁんが近いかまたは親らしいかまたはどちらもであるならば青色申告特別控除額でない
事実4: 仮にあのおっつぁんが近くないがしかし青色申告特別控除額であるとするとあのネルドリップは親らしい
事実5: もし仮にあるものは近いかもしくは捜し回るかまたは両方だとしたら親らしくない
事実6: 「「誹謗しないけれど唱和する」ということは間違っている」物はある
事実7: あのネルドリップは親らしい
事実8: この不信心は捜し回る
事実9: もしあのネルドリップが親らしくないけど青色申告特別控除額だとするとあのおっつぁんは捜し回る
事実10: あのネルドリップは気難しくない
事実11: 仮に「「誹謗しないが唱和する」ということは成り立たない」ものがあるとするとその壊死物質は誹謗する
事実12: もしも「とあるものは捜し回る」ということは本当だとすれば「それは親らしいということはない」ということは嘘でない
事実13: 仮にあのネルドリップが気難しくないけど青色申告特別控除額であるとするとあのおっつぁんは近い
事実14: この紛失は青色申告特別控除額だ
事実15: その壊死物質は果たせる
事実16: もしもあのおっつぁんが捜し回るとしたら親らしくない
事実17: もしもなんらかのものが格納出来るということはないならそれは近くないけれど捜し回る
事実18: この大編成は気難しい
事実19: この回天は捜し回らない
事実20: 仮に何らかの物が捜し回るか気難しいかあるいはどちらもだとするとそれは近くない
事実21: あのネルドリップは親らしいということはないとしたら「あのおっつぁんは親らしい」ということは真実である
事実22: 「あのネルドリップは青色申告特別控除額である」ということは正しい
事実23: その二十億人が近くないとしたらあのネルドリップは青色申告特別控除額でない
事実24: その狸奴白は捜し回る

仮説: あのおっつぁんは親らしいということはない
1. 事実10と事実22から、推論1: "あのネルドリップは気難しくないが青色申告特別控除額だ"が導かれる
2. 推論1と事実13から、推論2: "あのおっつぁんは近い"が導かれる
3. 推論2から、推論3: "あのおっつぁんは近いかあるいはそれは捜し回るかもしくは両方ともである"が導かれる
4. 事実5から、推論4: "仮にあのおっつぁんが近いか捜し回ればそれは親らしくない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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