「「御美しくて襲い掛かる」ものはある」ということは嘘である
fact1: その初版本はレイヤだ fact2: 仮に「振り下ろさなくて加えて襲い掛からない」ものがあるとしたらそのルボックスは数値計算でない fact3: その重金属等は認める fact4: そのルボックスが御美しくないとすれば数値計算である fact5: その深部静脈血栓症は抉り出しないかまたはスチフナーでないかまたは両方ともであるとすれば「それはスチフナーでない」ということは正しい fact6: その情報処分は振り下ろさない fact7: もしそのルボックスが数値計算ならその初版本は振り下ろす fact8: その深部静脈血栓症は抉り出しないかまたはスチフナーであるということはないかまたは両方だ fact9: 「スチフナーであるということはないし心無いというものはない」ということは真実である fact10: 「ぎごちないということはないし訝しいものはない」ということは事実と異ならない fact11: もし仮に「この小児専門病院は認めるかまたはそれは心無くない」ということは嘘だとすればこの異性愛者は心無い fact12: 仮に「その初版本はスチフナーでないけれど心無い」ということは偽であるとしたら振り下ろさない fact13: そのルボックスは認める fact14: 御支払い致すしおまけに信濃国絵図であるという物はない fact15: この異性愛者が心無いならばその初版本が振り下ろさないしさらにそれは襲い掛かるということはない fact16: すべては最重要視するし収拾する fact17: すべてのものは認めるし加えて襲い掛かる
void -> assump1: 以下のように仮定する。そのルボックスは御美しくない; fact4 & assump1 -> int1: 「そのルボックスは数値計算だ」ということは事実だ; int1 & fact7 -> int2: その初版本は振り下ろす; fact9 -> int3: 「その初版本はスチフナーでないがしかし心無い」ということは成り立たない; fact12 & int3 -> int4: その初版本は振り下ろさない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのルボックスは御美しい; fact17 -> int7: そのルボックスは認めるしかつ襲い掛かる; int7 -> int8: そのルボックスは襲い掛かる; int6 & int8 -> int9: そのルボックスは御美しいし襲い掛かる; int9 -> hypothesis;
そのルボックスは見付からない
fact18 & fact19 -> int10: その深部静脈血栓症はスチフナーでない; int10 -> int11: 「スチフナーでない」ものはある;
$facts$ = fact1: その初版本はレイヤだ fact2: 仮に「振り下ろさなくて加えて襲い掛からない」ものがあるとしたらそのルボックスは数値計算でない fact3: その重金属等は認める fact4: そのルボックスが御美しくないとすれば数値計算である fact5: その深部静脈血栓症は抉り出しないかまたはスチフナーでないかまたは両方ともであるとすれば「それはスチフナーでない」ということは正しい fact6: その情報処分は振り下ろさない fact7: もしそのルボックスが数値計算ならその初版本は振り下ろす fact8: その深部静脈血栓症は抉り出しないかまたはスチフナーであるということはないかまたは両方だ fact9: 「スチフナーであるということはないし心無いというものはない」ということは真実である fact10: 「ぎごちないということはないし訝しいものはない」ということは事実と異ならない fact11: もし仮に「この小児専門病院は認めるかまたはそれは心無くない」ということは嘘だとすればこの異性愛者は心無い fact12: 仮に「その初版本はスチフナーでないけれど心無い」ということは偽であるとしたら振り下ろさない fact13: そのルボックスは認める fact14: 御支払い致すしおまけに信濃国絵図であるという物はない fact15: この異性愛者が心無いならばその初版本が振り下ろさないしさらにそれは襲い掛かるということはない fact16: すべては最重要視するし収拾する fact17: すべてのものは認めるし加えて襲い掛かる ; $hypothesis$ = 「「御美しくて襲い掛かる」ものはある」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのルボックスは御美しくない; fact4 & assump1 -> int1: 「そのルボックスは数値計算だ」ということは事実だ; int1 & fact7 -> int2: その初版本は振り下ろす; fact9 -> int3: 「その初版本はスチフナーでないがしかし心無い」ということは成り立たない; fact12 & int3 -> int4: その初版本は振り下ろさない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのルボックスは御美しい; fact17 -> int7: そのルボックスは認めるしかつ襲い掛かる; int7 -> int8: そのルボックスは襲い掛かる; int6 & int8 -> int9: そのルボックスは御美しいし襲い掛かる; int9 -> hypothesis; __DISPROVED__
事実1: その初版本はレイヤだ
事実2: 仮に「振り下ろさなくて加えて襲い掛からない」ものがあるとしたらそのルボックスは数値計算でない
事実3: その重金属等は認める
事実4: そのルボックスが御美しくないとすれば数値計算である
事実5: その深部静脈血栓症は抉り出しないかまたはスチフナーでないかまたは両方ともであるとすれば「それはスチフナーでない」ということは正しい
事実6: その情報処分は振り下ろさない
事実7: もしそのルボックスが数値計算ならその初版本は振り下ろす
事実8: その深部静脈血栓症は抉り出しないかまたはスチフナーであるということはないかまたは両方だ
事実9: 「スチフナーであるということはないし心無いというものはない」ということは真実である
事実10: 「ぎごちないということはないし訝しいものはない」ということは事実と異ならない
事実11: もし仮に「この小児専門病院は認めるかまたはそれは心無くない」ということは嘘だとすればこの異性愛者は心無い
事実12: 仮に「その初版本はスチフナーでないけれど心無い」ということは偽であるとしたら振り下ろさない
事実13: そのルボックスは認める
事実14: 御支払い致すしおまけに信濃国絵図であるという物はない
事実15: この異性愛者が心無いならばその初版本が振り下ろさないしさらにそれは襲い掛かるということはない
事実16: すべては最重要視するし収拾する
事実17: すべてのものは認めるし加えて襲い掛かる

仮説: 「「御美しくて襲い掛かる」ものはある」ということは嘘である
1. 仮定1: 以下のように仮定する。そのルボックスは御美しくない
2. 事実4と仮定1から、推論1: "「そのルボックスは数値計算だ」ということは事実だ"が導かれる
3. 推論1と事実7から、推論2: "その初版本は振り下ろす"が導かれる
4. 事実9から、推論3: "「その初版本はスチフナーでないがしかし心無い」ということは成り立たない"が導かれる
5. 事実12と推論3から、推論4: "その初版本は振り下ろさない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのルボックスは御美しい"が導かれる
8. 事実17から、推論7: "そのルボックスは認めるしかつ襲い掛かる"が導かれる
9. 推論7から、推論8: "そのルボックスは襲い掛かる"が導かれる
10. 推論6と推論8から、推論9: "そのルボックスは御美しいし襲い掛かる"が導かれる
11. 推論9から、仮説が否定される

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