「このＫＳ磁石鋼はコンピュータ内であるしさらに慰労会だ」ということは成り立たない
fact1: もしもある物が震盪すれば慰労会である fact2: もしも「「あるものは来難くないが見窄らしい」ということは事実である」ということは事実でないならそれは聞き給う fact3: もし仮にある物は聞き給うなら「各モデルである一方で見窄らしくない」ということは嘘である fact4: もしその点付けは見窄らしくないとすると「あの窶れは来難くないがしかし見窄らしい」ということは事実と異なる fact5: もしその点付けが来難いとすればそれは震盪するということはないし聞き給わない fact6: もしもその五平方メートル以下が各モデルでないとしたらこのＧＳＭは軟化しなくてＣ‐Ｘでない fact7: もしあの窶れが聞き給うならばあのＫＳ磁石鋼はコンピュータ内だが聞き給わない fact8: このＫＳ磁石鋼は震盪するしおまけに言い逃れる fact9: もしその点付けが震盪しないしさらに聞き給うということはないとしたらこのＧＳＭは聞き給う fact10: その五平方メートル以下は各モデルでない fact11: もしなにかは軟化しないしＣ‐Ｘでないとすればその点付けは見窄らしくない
fact6 & fact10 -> int1: このＧＳＭは軟化するということはなくておまけにＣ‐Ｘでない; int1 -> int2: 何かは軟化しないしＣ‐Ｘでない; int2 & fact11 -> int3: その点付けは見窄らしくない; int3 & fact4 -> int4: 「あの窶れは来難くないが見窄らしい」ということは確かでない; fact2 -> int5: もしも「あの窶れは来難くないけど見窄らしい」ということは事実と異なるならそれは聞き給う; int4 & int5 -> int6: あの窶れは聞き給う; int6 & fact7 -> int7: このＫＳ磁石鋼はコンピュータ内だけど聞き給うということはない; int7 -> int8: このＫＳ磁石鋼はコンピュータ内だ; fact1 -> int9: もしもこのＫＳ磁石鋼が震盪するとすると慰労会だ; fact8 -> int10: このＫＳ磁石鋼は震盪する; int9 & int10 -> int11: このＫＳ磁石鋼は慰労会だ; int8 & int11 -> hypothesis;
「このＫＳ磁石鋼はコンピュータ内だし慰労会だ」ということは成り立つということはない
fact12 -> int12: もし仮にこのＧＳＭは聞き給えば「各モデルでしかも見窄らしくない」ということは成り立たない;
$facts$ = fact1: もしもある物が震盪すれば慰労会である fact2: もしも「「あるものは来難くないが見窄らしい」ということは事実である」ということは事実でないならそれは聞き給う fact3: もし仮にある物は聞き給うなら「各モデルである一方で見窄らしくない」ということは嘘である fact4: もしその点付けは見窄らしくないとすると「あの窶れは来難くないがしかし見窄らしい」ということは事実と異なる fact5: もしその点付けが来難いとすればそれは震盪するということはないし聞き給わない fact6: もしもその五平方メートル以下が各モデルでないとしたらこのＧＳＭは軟化しなくてＣ‐Ｘでない fact7: もしあの窶れが聞き給うならばあのＫＳ磁石鋼はコンピュータ内だが聞き給わない fact8: このＫＳ磁石鋼は震盪するしおまけに言い逃れる fact9: もしその点付けが震盪しないしさらに聞き給うということはないとしたらこのＧＳＭは聞き給う fact10: その五平方メートル以下は各モデルでない fact11: もしなにかは軟化しないしＣ‐Ｘでないとすればその点付けは見窄らしくない ; $hypothesis$ = 「このＫＳ磁石鋼はコンピュータ内であるしさらに慰労会だ」ということは成り立たない ; $proof$ = 
fact6 & fact10 -> int1: このＧＳＭは軟化するということはなくておまけにＣ‐Ｘでない; int1 -> int2: 何かは軟化しないしＣ‐Ｘでない; int2 & fact11 -> int3: その点付けは見窄らしくない; int3 & fact4 -> int4: 「あの窶れは来難くないが見窄らしい」ということは確かでない; fact2 -> int5: もしも「あの窶れは来難くないけど見窄らしい」ということは事実と異なるならそれは聞き給う; int4 & int5 -> int6: あの窶れは聞き給う; int6 & fact7 -> int7: このＫＳ磁石鋼はコンピュータ内だけど聞き給うということはない; int7 -> int8: このＫＳ磁石鋼はコンピュータ内だ; fact1 -> int9: もしもこのＫＳ磁石鋼が震盪するとすると慰労会だ; fact8 -> int10: このＫＳ磁石鋼は震盪する; int9 & int10 -> int11: このＫＳ磁石鋼は慰労会だ; int8 & int11 -> hypothesis; __DISPROVED__
事実1: もしもある物が震盪すれば慰労会である
事実2: もしも「「あるものは来難くないが見窄らしい」ということは事実である」ということは事実でないならそれは聞き給う
事実3: もし仮にある物は聞き給うなら「各モデルである一方で見窄らしくない」ということは嘘である
事実4: もしその点付けは見窄らしくないとすると「あの窶れは来難くないがしかし見窄らしい」ということは事実と異なる
事実5: もしその点付けが来難いとすればそれは震盪するということはないし聞き給わない
事実6: もしもその五平方メートル以下が各モデルでないとしたらこのＧＳＭは軟化しなくてＣ‐Ｘでない
事実7: もしあの窶れが聞き給うならばあのＫＳ磁石鋼はコンピュータ内だが聞き給わない
事実8: このＫＳ磁石鋼は震盪するしおまけに言い逃れる
事実9: もしその点付けが震盪しないしさらに聞き給うということはないとしたらこのＧＳＭは聞き給う
事実10: その五平方メートル以下は各モデルでない
事実11: もしなにかは軟化しないしＣ‐Ｘでないとすればその点付けは見窄らしくない

仮説: 「このＫＳ磁石鋼はコンピュータ内であるしさらに慰労会だ」ということは成り立たない
1. 事実6と事実10から、推論1: "このＧＳＭは軟化するということはなくておまけにＣ‐Ｘでない"が導かれる
2. 推論1から、推論2: "何かは軟化しないしＣ‐Ｘでない"が導かれる
3. 推論2と事実11から、推論3: "その点付けは見窄らしくない"が導かれる
4. 推論3と事実4から、推論4: "「あの窶れは来難くないが見窄らしい」ということは確かでない"が導かれる
5. 事実2から、推論5: "もしも「あの窶れは来難くないけど見窄らしい」ということは事実と異なるならそれは聞き給う"が導かれる
6. 推論4と推論5から、推論6: "あの窶れは聞き給う"が導かれる
7. 推論6と事実7から、推論7: "このＫＳ磁石鋼はコンピュータ内だけど聞き給うということはない"が導かれる
8. 推論7から、推論8: "このＫＳ磁石鋼はコンピュータ内だ"が導かれる
9. 事実1から、推論9: "もしもこのＫＳ磁石鋼が震盪するとすると慰労会だ"が導かれる
10. 事実8から、推論10: "このＫＳ磁石鋼は震盪する"が導かれる
11. 推論9と推論10から、推論11: "このＫＳ磁石鋼は慰労会だ"が導かれる
12. 推論8と推論11から、仮説が否定される

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