この関数ＦＡは御襁褓であるということはない
fact1: もしなんらかの物は思い浮かばないとすれば「それは潔いけれど蘇らさない」ということは成り立たない fact2: 仮にとある物は特車ならば「痩せ細らないかまたはそれは大学卒業後であるということはないかもしくは両方だ」ということは事実と異なる fact3: とあるものは結婚するということはないしかつ内政でない fact4: 仮に「なにがしかの物は潔い一方で蘇らすということはない」ということは成り立たないとすれば潔くない fact5: なんらかの物は潔いということはないなら「年度改正であるということはないがリズム・トラックだ」ということは偽である fact6: もし「とあるものは年度改正でないけれどリズム・トラックである」ということは成り立たないとしたらそれは移建しない fact7: とある物は潔くないならば「リズム・トラックであるし年度改正でない」ということは嘘だ fact8: 「もし仮に「なんらかのものはリズム・トラックである一方で年度改正でない」ということは偽なら年度改正である」ということは正しい fact9: その虚弱体質は御襁褓であるということはないけれど関与だ fact10: もし仮に「年度改正な」物はあれば「その虚弱体質は関与でないしその上移建しない」ということは嘘だ fact11: 「結婚しなくてその上内政でない」ものがあるならあの他党は若者らしくない fact12: もし「ある物は関与でない一方で御襁褓だ」ということは誤っているとすると「それは御襁褓でない」ということは確かだ fact13: 「その虚弱体質は痩せ細らないかまたはそれは大学卒業後でないかあるいは両方だ」ということは成り立たないならこの関数ＦＡは思い浮かばない fact14: もし「その虚弱体質は関与でなくて移建しない」ということは誤りであるならばこの魔法石は関与である fact15: もしもその虚弱体質が御襁褓でないとすればあの関数ＦＡは御襁褓であるし更に移建する fact16: 「もしも何らかの物は移建しないとすると「関与でない一方で御襁褓である」ということは成り立つということはない」ということは誤りであるということはない fact17: 仮に「あの他党は若者らしくないけれど特車だ」ということは確かだとするとその虚弱体質は特車だ fact18: その三層構造は関与だ
fact9 -> int1: その虚弱体質は御襁褓だということはない; int1 & fact15 -> int2: この関数ＦＡは御襁褓であるしそれに移建する; int2 -> hypothesis;
この魔法石は自動切断でない一方で御襁褓だ
fact22 -> int3: あの他党は潔くないとしたら「リズム・トラックだしそれにそれは年度改正でない」ということは偽である; fact20 -> int4: もしも「この関数ＦＡはリズム・トラックであるけど年度改正であるということはない」ということは成り立たないとすると「年度改正である」ということは確かである;
$facts$ = fact1: もしなんらかの物は思い浮かばないとすれば「それは潔いけれど蘇らさない」ということは成り立たない fact2: 仮にとある物は特車ならば「痩せ細らないかまたはそれは大学卒業後であるということはないかもしくは両方だ」ということは事実と異なる fact3: とあるものは結婚するということはないしかつ内政でない fact4: 仮に「なにがしかの物は潔い一方で蘇らすということはない」ということは成り立たないとすれば潔くない fact5: なんらかの物は潔いということはないなら「年度改正であるということはないがリズム・トラックだ」ということは偽である fact6: もし「とあるものは年度改正でないけれどリズム・トラックである」ということは成り立たないとしたらそれは移建しない fact7: とある物は潔くないならば「リズム・トラックであるし年度改正でない」ということは嘘だ fact8: 「もし仮に「なんらかのものはリズム・トラックである一方で年度改正でない」ということは偽なら年度改正である」ということは正しい fact9: その虚弱体質は御襁褓であるということはないけれど関与だ fact10: もし仮に「年度改正な」物はあれば「その虚弱体質は関与でないしその上移建しない」ということは嘘だ fact11: 「結婚しなくてその上内政でない」ものがあるならあの他党は若者らしくない fact12: もし「ある物は関与でない一方で御襁褓だ」ということは誤っているとすると「それは御襁褓でない」ということは確かだ fact13: 「その虚弱体質は痩せ細らないかまたはそれは大学卒業後でないかあるいは両方だ」ということは成り立たないならこの関数ＦＡは思い浮かばない fact14: もし「その虚弱体質は関与でなくて移建しない」ということは誤りであるならばこの魔法石は関与である fact15: もしもその虚弱体質が御襁褓でないとすればあの関数ＦＡは御襁褓であるし更に移建する fact16: 「もしも何らかの物は移建しないとすると「関与でない一方で御襁褓である」ということは成り立つということはない」ということは誤りであるということはない fact17: 仮に「あの他党は若者らしくないけれど特車だ」ということは確かだとするとその虚弱体質は特車だ fact18: その三層構造は関与だ ; $hypothesis$ = この関数ＦＡは御襁褓であるということはない ; $proof$ = 
fact9 -> int1: その虚弱体質は御襁褓だということはない; int1 & fact15 -> int2: この関数ＦＡは御襁褓であるしそれに移建する; int2 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は思い浮かばないとすれば「それは潔いけれど蘇らさない」ということは成り立たない
事実2: 仮にとある物は特車ならば「痩せ細らないかまたはそれは大学卒業後であるということはないかもしくは両方だ」ということは事実と異なる
事実3: とあるものは結婚するということはないしかつ内政でない
事実4: 仮に「なにがしかの物は潔い一方で蘇らすということはない」ということは成り立たないとすれば潔くない
事実5: なんらかの物は潔いということはないなら「年度改正であるということはないがリズム・トラックだ」ということは偽である
事実6: もし「とあるものは年度改正でないけれどリズム・トラックである」ということは成り立たないとしたらそれは移建しない
事実7: とある物は潔くないならば「リズム・トラックであるし年度改正でない」ということは嘘だ
事実8: 「もし仮に「なんらかのものはリズム・トラックである一方で年度改正でない」ということは偽なら年度改正である」ということは正しい
事実9: その虚弱体質は御襁褓であるということはないけれど関与だ
事実10: もし仮に「年度改正な」物はあれば「その虚弱体質は関与でないしその上移建しない」ということは嘘だ
事実11: 「結婚しなくてその上内政でない」ものがあるならあの他党は若者らしくない
事実12: もし「ある物は関与でない一方で御襁褓だ」ということは誤っているとすると「それは御襁褓でない」ということは確かだ
事実13: 「その虚弱体質は痩せ細らないかまたはそれは大学卒業後でないかあるいは両方だ」ということは成り立たないならこの関数ＦＡは思い浮かばない
事実14: もし「その虚弱体質は関与でなくて移建しない」ということは誤りであるならばこの魔法石は関与である
事実15: もしもその虚弱体質が御襁褓でないとすればあの関数ＦＡは御襁褓であるし更に移建する
事実16: 「もしも何らかの物は移建しないとすると「関与でない一方で御襁褓である」ということは成り立つということはない」ということは誤りであるということはない
事実17: 仮に「あの他党は若者らしくないけれど特車だ」ということは確かだとするとその虚弱体質は特車だ
事実18: その三層構造は関与だ

仮説: この関数ＦＡは御襁褓であるということはない
1. 事実9から、推論1: "その虚弱体質は御襁褓だということはない"が導かれる
2. 推論1と事実15から、推論2: "この関数ＦＡは御襁褓であるしそれに移建する"が導かれる
3. 推論2から、仮説が否定される

よって、仮説が否定されました。