「「このネットフォースが糾問するとしたらこの大ヒット曲は豊乳でないけれど思慮深い」ということは真実だ」ということは間違いである
fact1: 仮にこの大ヒット曲が言い訳がましくらない一方で絞扼するとすればＩＴバブルでない fact2: もしなんらかの物は移築でないとすれば「それは糾問しない一方で自国政府だ」ということは偽である fact3: この大ヒット曲は言い訳がましかない fact4: もしもとあるものはＩＴバブルでないとするとそれは思慮深くて故無い fact5: この大ヒット曲は故無い fact6: 仮にこの大ヒット曲が言い訳がましいししかも絞扼するとすればそれはＩＴバブルでない fact7: このネットフォースは糾問する一方で絞扼しない fact8: もしもこの部品企業が思慮深いならばこのネットフォースは豊乳だということはないか移築でないかあるいはどちらもだ fact9: その拡充が自国政府でないとすればそれが油通しでその上言い訳はましい fact10: 仮に何らかの物はＩＴバブルでないとしたら故無い fact11: もし「絞扼するしまた豊乳な」物があるとするとこの大ヒット曲は糾問しない fact12: もし仮に何らかの物が豊乳でないかもしくは移築でないとするとそれは移築でない fact13: 「移築である」物はある fact14: その拡充は自国政府でないならば「この大ヒット曲は自国政府でない」ということは確かだ fact15: この大ヒット曲は言い訳がましいということはない一方でそれは絞扼する fact16: 仮にその拡充が油通しだが自国政府でないとすればこのネットフォースは移築だ fact17: このＫタームは故無い fact18: 何らかのものは糾問する fact19: その拡充は油通しである fact20: 仮にこのＫタームがＩＴバブルでなくてしかも思慮深いということはないとしたらこの部品企業は思慮深い fact21: その拡充が油通しだけどそれは自国政府でない fact22: もし仮に「この大ヒット曲はＩＴバブルでない」ということは確かだとすればそれは故無い fact23: もし仮に移築が糾問するとするとこの大ヒット曲は豊乳でない fact24: あの素揚げが濃くないがしかしそれが豊乳ならへたばらない
fact16 & fact21 -> int1: このネットフォースは移築だ; void -> assump1: 以下のように仮定する。このネットフォースは糾問する; int1 & assump1 -> int2: 「このネットフォースは移築だしおまけに糾問する」ということは本当である; int2 -> int3: 「移築だしまた糾問する」物はある; int3 & fact23 -> int4: この大ヒット曲は豊乳でない; fact15 & fact1 -> int5: この大ヒット曲はＩＴバブルであるということはない; fact4 -> int6: もしもこの大ヒット曲がＩＴバブルだということはないとしたらそれは思慮深くてさらにそれは故無い; int5 & int6 -> int7: この大ヒット曲は思慮深くて故無い; int7 -> int8: この大ヒット曲は思慮深い; int4 & int8 -> int9: この大ヒット曲は豊乳でないけれどそれは思慮深い; [assump1] & int9 -> hypothesis;
この大ヒット曲は自国政府でない
fact26 -> int10: 仮にこのネットフォースは移築でないなら「糾問しないしそれは自国政府である」ということは真実でない; fact27 -> int11: 仮にこのネットフォースが豊乳でないかあるいは移築でないとしたら移築だということはない;
$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$ = 
fact16 & fact21 -> int1: このネットフォースは移築だ; void -> assump1: 以下のように仮定する。このネットフォースは糾問する; int1 & assump1 -> int2: 「このネットフォースは移築だしおまけに糾問する」ということは本当である; int2 -> int3: 「移築だしまた糾問する」物はある; int3 & fact23 -> int4: この大ヒット曲は豊乳でない; fact15 & fact1 -> int5: この大ヒット曲はＩＴバブルであるということはない; fact4 -> int6: もしもこの大ヒット曲がＩＴバブルだということはないとしたらそれは思慮深くてさらにそれは故無い; int5 & int6 -> int7: この大ヒット曲は思慮深くて故無い; int7 -> int8: この大ヒット曲は思慮深い; int4 & int8 -> int9: この大ヒット曲は豊乳でないけれどそれは思慮深い; [assump1] & int9 -> 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: もし仮に移築が糾問するとするとこの大ヒット曲は豊乳でない
事実24: あの素揚げが濃くないがしかしそれが豊乳ならへたばらない

仮説: 「「このネットフォースが糾問するとしたらこの大ヒット曲は豊乳でないけれど思慮深い」ということは真実だ」ということは間違いである
1. 事実16と事実21から、推論1: "このネットフォースは移築だ"が導かれる
2. 仮定1: 以下のように仮定する。このネットフォースは糾問する
3. 推論1と仮定1から、推論2: "「このネットフォースは移築だしおまけに糾問する」ということは本当である"が導かれる
4. 推論2から、推論3: "「移築だしまた糾問する」物はある"が導かれる
5. 推論3と事実23から、推論4: "この大ヒット曲は豊乳でない"が導かれる
6. 事実15と事実1から、推論5: "この大ヒット曲はＩＴバブルであるということはない"が導かれる
7. 事実4から、推論6: "もしもこの大ヒット曲がＩＴバブルだということはないとしたらそれは思慮深くてさらにそれは故無い"が導かれる
8. 推論5と推論6から、推論7: "この大ヒット曲は思慮深くて故無い"が導かれる
9. 推論7から、推論8: "この大ヒット曲は思慮深い"が導かれる
10. 推論4と推論8から、推論9: "この大ヒット曲は豊乳でないけれどそれは思慮深い"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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