もし仮にこのＢ実査官が迷い難いならそのリリックは伯伯伯母でないけど浪士達だ
fact1: とあるものはスポーツドリンクだということはない fact2: このＢ実査官が伯伯伯母ならそのリリックは迷い難くてまた浪士達だ fact3: もしも「伯伯伯母でないがしかし迷い難い」物があるとすればこのＢ実査官は浪士達でない fact4: もし何かは愛しくないかまたは押し込むかあるいは両方ともであるとしたら迷い難くない fact5: もし仮に「「迷い難くないが伯伯伯母だ」ということは成り立たない」ものがあるとしたらこのＢ実査官は浪士達でない fact6: このＢ実査官は伯伯伯母だ fact7: 「そのマリノスは滲み始める」ということは誤りでないなら「記録等でなくて加えてそれは愛しい」ということは間違っている fact8: そのリリックは迷い難いし伯伯伯母である fact9: もし「「そのマリノスは記録等でないけれど愛しい」ということは誤りである」ということは成り立つとするとそれは愛しくない fact10: 「「達観であるし餓鬼っぽい」ということは誤っている」物はある fact11: 「「そのリリックは伯伯伯母でない一方で迷い難い」ということは誤りでない」ということは正しくない fact12: その陰陽五行説は浪士達だ fact13: 「「伯伯伯母でなくてまた迷い難い」ということは成り立たない」ものはある fact14: 「標準装着しない」物はある fact15: その第二回世界労働組合フォーラムは迷い難いということはないならば「このＢ実査官は頼り無くないＣ級である」ということは間違いだ fact16: もしこのＢ実査官が浪士達であるとするとそのリリックは迷い難くないがそれは伯伯伯母である fact17: 「「伯伯伯母でないがしかし浪士達だ」ということは偽な」物があるとしたらこのＢ実査官は迷い難くない
void -> assump2: 以下のように仮定する。「そのリリックは伯伯伯母でないがしかし浪士達だ」ということは嘘だ; assump2 -> int1: 「「伯伯伯母でないし浪士達である」ということは成り立たない」物はある; int1 & fact17 -> int2: このＢ実査官は迷い難くない; void -> assump1: 以下のように仮定する。このＢ実査官は迷い難い; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: そのリリックは伯伯伯母でないけどそれは浪士達である; [assump1] & int4 -> hypothesis;
「「頼り無くないしＣ級である」ということは真実でない」物はある
fact18 -> int5: もし仮にその第二回世界労働組合フォーラムは愛しくないかまたは押し込むかまたはどちらもだとすると迷い難くない;
$facts$ = fact1: とあるものはスポーツドリンクだということはない fact2: このＢ実査官が伯伯伯母ならそのリリックは迷い難くてまた浪士達だ fact3: もしも「伯伯伯母でないがしかし迷い難い」物があるとすればこのＢ実査官は浪士達でない fact4: もし何かは愛しくないかまたは押し込むかあるいは両方ともであるとしたら迷い難くない fact5: もし仮に「「迷い難くないが伯伯伯母だ」ということは成り立たない」ものがあるとしたらこのＢ実査官は浪士達でない fact6: このＢ実査官は伯伯伯母だ fact7: 「そのマリノスは滲み始める」ということは誤りでないなら「記録等でなくて加えてそれは愛しい」ということは間違っている fact8: そのリリックは迷い難いし伯伯伯母である fact9: もし「「そのマリノスは記録等でないけれど愛しい」ということは誤りである」ということは成り立つとするとそれは愛しくない fact10: 「「達観であるし餓鬼っぽい」ということは誤っている」物はある fact11: 「「そのリリックは伯伯伯母でない一方で迷い難い」ということは誤りでない」ということは正しくない fact12: その陰陽五行説は浪士達だ fact13: 「「伯伯伯母でなくてまた迷い難い」ということは成り立たない」ものはある fact14: 「標準装着しない」物はある fact15: その第二回世界労働組合フォーラムは迷い難いということはないならば「このＢ実査官は頼り無くないＣ級である」ということは間違いだ fact16: もしこのＢ実査官が浪士達であるとするとそのリリックは迷い難くないがそれは伯伯伯母である fact17: 「「伯伯伯母でないがしかし浪士達だ」ということは偽な」物があるとしたらこのＢ実査官は迷い難くない ; $hypothesis$ = もし仮にこのＢ実査官が迷い難いならそのリリックは伯伯伯母でないけど浪士達だ ; $proof$ = 
void -> assump2: 以下のように仮定する。「そのリリックは伯伯伯母でないがしかし浪士達だ」ということは嘘だ; assump2 -> int1: 「「伯伯伯母でないし浪士達である」ということは成り立たない」物はある; int1 & fact17 -> int2: このＢ実査官は迷い難くない; void -> assump1: 以下のように仮定する。このＢ実査官は迷い難い; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: そのリリックは伯伯伯母でないけどそれは浪士達である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: とあるものはスポーツドリンクだということはない
事実2: このＢ実査官が伯伯伯母ならそのリリックは迷い難くてまた浪士達だ
事実3: もしも「伯伯伯母でないがしかし迷い難い」物があるとすればこのＢ実査官は浪士達でない
事実4: もし何かは愛しくないかまたは押し込むかあるいは両方ともであるとしたら迷い難くない
事実5: もし仮に「「迷い難くないが伯伯伯母だ」ということは成り立たない」ものがあるとしたらこのＢ実査官は浪士達でない
事実6: このＢ実査官は伯伯伯母だ
事実7: 「そのマリノスは滲み始める」ということは誤りでないなら「記録等でなくて加えてそれは愛しい」ということは間違っている
事実8: そのリリックは迷い難いし伯伯伯母である
事実9: もし「「そのマリノスは記録等でないけれど愛しい」ということは誤りである」ということは成り立つとするとそれは愛しくない
事実10: 「「達観であるし餓鬼っぽい」ということは誤っている」物はある
事実11: 「「そのリリックは伯伯伯母でない一方で迷い難い」ということは誤りでない」ということは正しくない
事実12: その陰陽五行説は浪士達だ
事実13: 「「伯伯伯母でなくてまた迷い難い」ということは成り立たない」ものはある
事実14: 「標準装着しない」物はある
事実15: その第二回世界労働組合フォーラムは迷い難いということはないならば「このＢ実査官は頼り無くないＣ級である」ということは間違いだ
事実16: もしこのＢ実査官が浪士達であるとするとそのリリックは迷い難くないがそれは伯伯伯母である
事実17: 「「伯伯伯母でないがしかし浪士達だ」ということは偽な」物があるとしたらこのＢ実査官は迷い難くない

仮説: もし仮にこのＢ実査官が迷い難いならそのリリックは伯伯伯母でないけど浪士達だ
1. 仮定2: 以下のように仮定する。「そのリリックは伯伯伯母でないがしかし浪士達だ」ということは嘘だ
2. 仮定2から、推論1: "「「伯伯伯母でないし浪士達である」ということは成り立たない」物はある"が導かれる
3. 推論1と事実17から、推論2: "このＢ実査官は迷い難くない"が導かれる
4. 仮定1: 以下のように仮定する。このＢ実査官は迷い難い
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "そのリリックは伯伯伯母でないけどそれは浪士達である"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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