「もしもその借地人が覚え易いということはない一方で薄いならあのフィットは程良くない」ということは偽である
fact1: もしもあのディテールが根気良いとするとこの経済・社会システムはスタイラスでないけれど求愛する fact2: もしその借地人は根気良いならば「この経済・社会システムは薄くない一方で覚え易い」ということは事実だ fact3: もしそのレガートがスタイラスでないならこの経済・社会システムはスタイラスでないが根気良い fact4: その借地人はスタイラスである fact5: もしもあのディテールは求愛するなら「そのレガートはさ迷う」ということは成り立つ fact6: もしこの経済・社会システムが薄いとするとあのディテールはスタイラスでないがそれは求愛する fact7: 仮にそのレガートがスタイラスでないならばあの経済・社会システムは根気良い fact8: 「あのフィットはスタイラスでない」ということは成り立つ fact9: そのレガートはさ迷う fact10: 仮にそのレガートが程良くないが求愛すればあのフィットはスタイラスでない fact11: もしもあのフィットが程良くないとするとこの経済・社会システムは程良くない fact12: あのフィットは程良い fact13: あのディテールが求愛するとすればそのレガートはスタイラスでないがしかしそれはさ迷う fact14: そのレガートは求愛しないけれどそれはさ迷う fact15: もしその借地人が覚え易くないけれど薄いとするとあのディテールは求愛する fact16: 仮に「その借地人は薄い」ということは嘘であるとするとこの経済・社会システムは薄くない fact17: もしもこの経済・社会システムがスタイラスだということはないが根気良いとしたらあのフィットは程良い fact18: この経済・社会システムがスタイラスでないがそれが根気良いとするとあのフィットは程良くない fact19: あのフィットはさ迷う fact20: 「この経済・社会システムは根気良い」ということは本当である fact21: あのディテールはさ迷う fact22: その借地人は薄い fact23: その借地人が覚え易くないが薄いとしたらあのフィットは程良い
void -> assump1: 以下のように仮定する。その借地人は覚え易くないけれど薄い; fact15 & assump1 -> int1: あのディテールは求愛する; int1 & fact13 -> int2: そのレガートはスタイラスでないけどさ迷う; int2 -> int3: 「そのレガートはスタイラスだということはない」ということは成り立つ; int3 & fact3 -> int4: この経済・社会システムはスタイラスでないがしかし根気良い; int4 & fact18 -> int5: あのフィットは程良くない; [assump1] & int5 -> hypothesis;
$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$ = 
void -> assump1: 以下のように仮定する。その借地人は覚え易くないけれど薄い; fact15 & assump1 -> int1: あのディテールは求愛する; int1 & fact13 -> int2: そのレガートはスタイラスでないけどさ迷う; int2 -> int3: 「そのレガートはスタイラスだということはない」ということは成り立つ; int3 & fact3 -> int4: この経済・社会システムはスタイラスでないがしかし根気良い; int4 & fact18 -> int5: あのフィットは程良くない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもあのディテールが根気良いとするとこの経済・社会システムはスタイラスでないけれど求愛する
事実2: もしその借地人は根気良いならば「この経済・社会システムは薄くない一方で覚え易い」ということは事実だ
事実3: もしそのレガートがスタイラスでないならこの経済・社会システムはスタイラスでないが根気良い
事実4: その借地人はスタイラスである
事実5: もしもあのディテールは求愛するなら「そのレガートはさ迷う」ということは成り立つ
事実6: もしこの経済・社会システムが薄いとするとあのディテールはスタイラスでないがそれは求愛する
事実7: 仮にそのレガートがスタイラスでないならばあの経済・社会システムは根気良い
事実8: 「あのフィットはスタイラスでない」ということは成り立つ
事実9: そのレガートはさ迷う
事実10: 仮にそのレガートが程良くないが求愛すればあのフィットはスタイラスでない
事実11: もしもあのフィットが程良くないとするとこの経済・社会システムは程良くない
事実12: あのフィットは程良い
事実13: あのディテールが求愛するとすればそのレガートはスタイラスでないがしかしそれはさ迷う
事実14: そのレガートは求愛しないけれどそれはさ迷う
事実15: もしその借地人が覚え易くないけれど薄いとするとあのディテールは求愛する
事実16: 仮に「その借地人は薄い」ということは嘘であるとするとこの経済・社会システムは薄くない
事実17: もしもこの経済・社会システムがスタイラスだということはないが根気良いとしたらあのフィットは程良い
事実18: この経済・社会システムがスタイラスでないがそれが根気良いとするとあのフィットは程良くない
事実19: あのフィットはさ迷う
事実20: 「この経済・社会システムは根気良い」ということは本当である
事実21: あのディテールはさ迷う
事実22: その借地人は薄い
事実23: その借地人が覚え易くないが薄いとしたらあのフィットは程良い

仮説: 「もしもその借地人が覚え易いということはない一方で薄いならあのフィットは程良くない」ということは偽である
1. 仮定1: 以下のように仮定する。その借地人は覚え易くないけれど薄い
2. 事実15と仮定1から、推論1: "あのディテールは求愛する"が導かれる
3. 推論1と事実13から、推論2: "そのレガートはスタイラスでないけどさ迷う"が導かれる
4. 推論2から、推論3: "「そのレガートはスタイラスだということはない」ということは成り立つ"が導かれる
5. 推論3と事実3から、推論4: "この経済・社会システムはスタイラスでないがしかし根気良い"が導かれる
6. 推論4と事実18から、推論5: "あのフィットは程良くない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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