あの超国家主義はループする
fact1: もしも何かは説教壇でないならば順応し易いしその上小賢しい fact2: あの超国家主義は手荒くない fact3: この鶺鴒は飲み終わる fact4: もしその柔ら構造が順応し易くないとしたらあの超国家主義はループする fact5: その柔ら構造が小賢しくないとしたらあの超国家主義は順応し易い fact6: 仮にその柔ら構造は懐こいかもしくは深在性真菌症であるかまたは両方ともだとしたら「それは清しない」ということは確かである fact7: 仮にその柔ら構造が清しないならばあの超国家主義は説教壇でない fact8: もしその蛍袋が遣り通すとすればそれは御願いである fact9: その柔ら構造はループする fact10: もし仮に「あの超国家主義は順応し易い」ということは確かだとしたら「それはループする」ということは確かである fact11: 「その訓練生は清しけど説教壇でない」ということは成り立たない fact12: その柔ら構造が小賢しいならそれはループする fact13: あの超国家主義はアートハーだということはない fact14: 「もしあの超国家主義が小賢しくないとしたらその柔ら構造は順応し易い」ということは成り立つ fact15: その柔ら構造は小賢しくない fact16: もしあの超国家主義は小賢しくないとすれば「その柔ら構造はループする」ということは嘘でない fact17: もしも「その柔ら構造は順応し易くない」ということは真実だとしたらあの超国家主義は小賢しい fact18: もし「あの超国家主義は順応し易い」ということは真実ならばそれは小賢しい fact19: もし「その柔ら構造はループしない」ということは成り立つとすればあの超国家主義は小賢しい fact20: あの超国家主義は小賢しい fact21: あの超国家主義はファイルアイコンだ fact22: もしもあの超国家主義がループすればそれは小賢しい fact23: 「その柔ら構造は順応し易い」ということは成り立つ
fact5 & fact15 -> int1: あの超国家主義は順応し易い; int1 & fact10 -> hypothesis;
あの超国家主義はループしない
fact27 -> int2: もしもあの超国家主義は説教壇でないとするとそれは順応し易くて加えて小賢しい; fact24 -> int3: 「飲み終わる」物はある;
$facts$ = fact1: もしも何かは説教壇でないならば順応し易いしその上小賢しい fact2: あの超国家主義は手荒くない fact3: この鶺鴒は飲み終わる fact4: もしその柔ら構造が順応し易くないとしたらあの超国家主義はループする fact5: その柔ら構造が小賢しくないとしたらあの超国家主義は順応し易い fact6: 仮にその柔ら構造は懐こいかもしくは深在性真菌症であるかまたは両方ともだとしたら「それは清しない」ということは確かである fact7: 仮にその柔ら構造が清しないならばあの超国家主義は説教壇でない fact8: もしその蛍袋が遣り通すとすればそれは御願いである fact9: その柔ら構造はループする fact10: もし仮に「あの超国家主義は順応し易い」ということは確かだとしたら「それはループする」ということは確かである fact11: 「その訓練生は清しけど説教壇でない」ということは成り立たない fact12: その柔ら構造が小賢しいならそれはループする fact13: あの超国家主義はアートハーだということはない fact14: 「もしあの超国家主義が小賢しくないとしたらその柔ら構造は順応し易い」ということは成り立つ fact15: その柔ら構造は小賢しくない fact16: もしあの超国家主義は小賢しくないとすれば「その柔ら構造はループする」ということは嘘でない fact17: もしも「その柔ら構造は順応し易くない」ということは真実だとしたらあの超国家主義は小賢しい fact18: もし「あの超国家主義は順応し易い」ということは真実ならばそれは小賢しい fact19: もし「その柔ら構造はループしない」ということは成り立つとすればあの超国家主義は小賢しい fact20: あの超国家主義は小賢しい fact21: あの超国家主義はファイルアイコンだ fact22: もしもあの超国家主義がループすればそれは小賢しい fact23: 「その柔ら構造は順応し易い」ということは成り立つ ; $hypothesis$ = あの超国家主義はループする ; $proof$ = 
fact5 & fact15 -> int1: あの超国家主義は順応し易い; int1 & fact10 -> 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: 「その柔ら構造は順応し易い」ということは成り立つ

仮説: あの超国家主義はループする
1. 事実5と事実15から、推論1: "あの超国家主義は順応し易い"が導かれる
2. 推論1と事実10から、仮説が導かれる

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