「この最有力候補が油っぽいしその上それは投射する」ということは真実だということはない
fact1: この白苔は滑り易い fact2: 「この最有力候補は紳士らしいしおまけにＣＴ値である」ということは成り立たない fact3: あのベストコストプロデューサー戦略は腫れぼったくない fact4: もしなんらかのものは紳士らしくないとすると「ＣＴ値でないけれど腫れぼったい」ということは嘘である fact5: 仮にこの表レイアウト／レポートは内蔵するということはないなら「それは撓むということはないしそれは御し易い」ということは嘘である fact6: 「もし仮に何かは腫れぼったくないならば「それは油っぽくて投射する」ということは嘘である」ということは成り立つ fact7: もし「「腫れぼったい」ということは本当である」ものはあるとしたら「この最有力候補は紳士らしくないけれどそれはＣＴ値である」ということは事実と異なる fact8: 「とある物は紳士らしくないがそれはＣＴ値だ」ということは事実と異なるとすればそれは油っぽい fact9: この表レイアウト／レポートは内蔵するということはない fact10: 何らかのものは装い続けないが滑り易いならそれは彷徨き回らない fact11: この最有力候補は航続距離であるということはない fact12: もし仮にこの最有力候補が航続距離だということはないとすれば投射するしまた理解し辛い fact13: この最有力候補は理解し辛い fact14: 「この最有力候補はカード犯罪だということはないけど油っぽい」ということは成り立つということはない fact15: もし「その当初は理解し辛くない」ということは成り立つとしたらこの寺号はＣＴ値でなくてその上紳士らしいない fact16: 紳士らしい物は油っぽい fact17: 「もしこの寺号は理解し辛くないとしたら「この寺号は油っぽくてそれは投射する」ということは成り立たない」ということは正しい fact18: もしも何らかのものは腫れぼったいとすると「この最有力候補は紳士らしいし加えてそれはＣＴ値である」ということは成り立たない fact19: もし仮にこの最有力候補が航続距離だということはないならば理解し辛い fact20: もし仮にこの最有力候補は紳士らしいとすると「油っぽい」ということは確かだ fact21: もしもなんらかの物は彷徨き回らないなら「それは出し忘れるし加えて航続距離だ」ということは間違っている fact22: 「「出し忘れるし航続距離だ」ということは正しくない」ものがあればその当初は理解し辛くない fact23: 「もしも「「撓むということはないしその上御し易い」ということは誤りである」ものがあるとしたらこの白苔は装い続けない」ということは真実である fact24: 「腫れぼったい」ものはある
fact24 & fact7 -> int1: 「この最有力候補は紳士らしくないけれどＣＴ値である」ということは間違いである; fact8 -> int2: 「この最有力候補は紳士らしくないけれどＣＴ値である」ということは成り立たないならそれは油っぽい; int1 & int2 -> int3: この最有力候補は油っぽい; fact11 & fact12 -> int4: 「この最有力候補は投射するしその上理解し辛い」ということは真実だ; int4 -> int5: この最有力候補は投射する; int3 & int5 -> hypothesis;
「この最有力候補は油っぽいし加えて投射する」ということは誤っている
fact30 -> int6: もしこの最有力候補は腫れぼったくないとすれば「それは油っぽいしさらに投射する」ということは嘘である; fact33 -> int7: もしこの白苔は彷徨き回らないならば「それは出し忘れるしそれに航続距離である」ということは間違っている; fact31 -> int8: 仮にこの白苔が装い続けないがしかしそれが滑り易いとしたらそれは彷徨き回らない; fact28 & fact26 -> int9: 「「この表レイアウト／レポートは撓まないが御し易い」ということは確かだ」ということは嘘である; int9 -> int10: 「「撓まない一方で御し易い」ということは成り立たない」物はある; int10 & fact27 -> int11: この白苔は装い続けない; int11 & fact25 -> int12: この白苔は装い続けないがしかしそれは滑り易い; int8 & int12 -> int13: この白苔は彷徨き回らない; int7 & int13 -> int14: 「この白苔は出し忘れるしまた航続距離だ」ということは間違いだ; int14 -> int15: 「「出し忘れるししかも航続距離である」ということは偽な」物はある; int15 & fact32 -> int16: その当初は理解し辛くない; fact29 & int16 -> int17: この寺号はＣＴ値でなくて紳士らしくない; int17 -> int18: 「ＣＴ値でないしかつ紳士らしくない」ものはある;
$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$ = 
fact24 & fact7 -> int1: 「この最有力候補は紳士らしくないけれどＣＴ値である」ということは間違いである; fact8 -> int2: 「この最有力候補は紳士らしくないけれどＣＴ値である」ということは成り立たないならそれは油っぽい; int1 & int2 -> int3: この最有力候補は油っぽい; fact11 & fact12 -> int4: 「この最有力候補は投射するしその上理解し辛い」ということは真実だ; int4 -> int5: この最有力候補は投射する; int3 & 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: 「もしも「「撓むということはないしその上御し易い」ということは誤りである」ものがあるとしたらこの白苔は装い続けない」ということは真実である
事実24: 「腫れぼったい」ものはある

仮説: 「この最有力候補が油っぽいしその上それは投射する」ということは真実だということはない
1. 事実24と事実7から、推論1: "「この最有力候補は紳士らしくないけれどＣＴ値である」ということは間違いである"が導かれる
2. 事実8から、推論2: "「この最有力候補は紳士らしくないけれどＣＴ値である」ということは成り立たないならそれは油っぽい"が導かれる
3. 推論1と推論2から、推論3: "この最有力候補は油っぽい"が導かれる
4. 事実11と事実12から、推論4: "「この最有力候補は投射するしその上理解し辛い」ということは真実だ"が導かれる
5. 推論4から、推論5: "この最有力候補は投射する"が導かれる
6. 推論3と推論5から、仮説が否定される

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