この資産負債は御所野遺跡だ
fact1: 仮に脂肪量が苦心しないとすると御所野遺跡だということはない fact2: もし仮にあるものがいみじないとしたらそれは苦心しない fact3: 仮にこの資産負債がいみじないならそれは苦心しない fact4: もし仮にある物はラズベリーでないとするとそれはいみじない fact5: もしもこの資産負債が儚しかあるいはラズベリーだとするとその長州人は輸注するということはない fact6: もし仮に脂肪量が苦心するならそれは御所野遺跡でない fact7: その長州人は輸注するし更に改善し得る fact8: もしこの資産負債が脂肪量であるしそれが苦心するならそれは御所野遺跡でない fact9: 仮にこの資産負債は儚しとしたら「その長州人は輸注するということはない」ということは成り立つ fact10: この資産負債は苦心しない fact11: いみじない物は脂肪量だけど苦心しない
void -> assump1: 以下のように仮定する。「この資産負債はラズベリーだ」ということは真実だ; assump1 -> int1: この資産負債は儚しかまたはラズベリーであるかあるいはどちらもだ; int1 & fact5 -> int2: その長州人は輸注しない; fact7 -> int3: その長州人は輸注する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この資産負債はラズベリーでない; fact4 -> int6: 「この資産負債がラズベリーでないとしたらこの資産負債はいみじない」ということは事実だ; int5 & int6 -> int7: この資産負債はいみじない; fact11 -> int8: 仮にこの資産負債がいみじないとしたら脂肪量だ一方で苦心しない; int7 & int8 -> int9: この資産負債は脂肪量だけれど苦心するということはない; fact1 -> int10: もしこの資産負債が脂肪量であるがしかし苦心しないなら御所野遺跡だということはない; int9 & int10 -> hypothesis;
$facts$ = fact1: 仮に脂肪量が苦心しないとすると御所野遺跡だということはない fact2: もし仮にあるものがいみじないとしたらそれは苦心しない fact3: 仮にこの資産負債がいみじないならそれは苦心しない fact4: もし仮にある物はラズベリーでないとするとそれはいみじない fact5: もしもこの資産負債が儚しかあるいはラズベリーだとするとその長州人は輸注するということはない fact6: もし仮に脂肪量が苦心するならそれは御所野遺跡でない fact7: その長州人は輸注するし更に改善し得る fact8: もしこの資産負債が脂肪量であるしそれが苦心するならそれは御所野遺跡でない fact9: 仮にこの資産負債は儚しとしたら「その長州人は輸注するということはない」ということは成り立つ fact10: この資産負債は苦心しない fact11: いみじない物は脂肪量だけど苦心しない ; $hypothesis$ = この資産負債は御所野遺跡だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この資産負債はラズベリーだ」ということは真実だ; assump1 -> int1: この資産負債は儚しかまたはラズベリーであるかあるいはどちらもだ; int1 & fact5 -> int2: その長州人は輸注しない; fact7 -> int3: その長州人は輸注する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この資産負債はラズベリーでない; fact4 -> int6: 「この資産負債がラズベリーでないとしたらこの資産負債はいみじない」ということは事実だ; int5 & int6 -> int7: この資産負債はいみじない; fact11 -> int8: 仮にこの資産負債がいみじないとしたら脂肪量だ一方で苦心しない; int7 & int8 -> int9: この資産負債は脂肪量だけれど苦心するということはない; fact1 -> int10: もしこの資産負債が脂肪量であるがしかし苦心しないなら御所野遺跡だということはない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 仮に脂肪量が苦心しないとすると御所野遺跡だということはない
事実2: もし仮にあるものがいみじないとしたらそれは苦心しない
事実3: 仮にこの資産負債がいみじないならそれは苦心しない
事実4: もし仮にある物はラズベリーでないとするとそれはいみじない
事実5: もしもこの資産負債が儚しかあるいはラズベリーだとするとその長州人は輸注するということはない
事実6: もし仮に脂肪量が苦心するならそれは御所野遺跡でない
事実7: その長州人は輸注するし更に改善し得る
事実8: もしこの資産負債が脂肪量であるしそれが苦心するならそれは御所野遺跡でない
事実9: 仮にこの資産負債は儚しとしたら「その長州人は輸注するということはない」ということは成り立つ
事実10: この資産負債は苦心しない
事実11: いみじない物は脂肪量だけど苦心しない

仮説: この資産負債は御所野遺跡だ
1. 仮定1: 以下のように仮定する。「この資産負債はラズベリーだ」ということは真実だ
2. 仮定1から、推論1: "この資産負債は儚しかまたはラズベリーであるかあるいはどちらもだ"が導かれる
3. 推論1と事実5から、推論2: "その長州人は輸注しない"が導かれる
4. 事実7から、推論3: "その長州人は輸注する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この資産負債はラズベリーでない"が導かれる
7. 事実4から、推論6: "「この資産負債がラズベリーでないとしたらこの資産負債はいみじない」ということは事実だ"が導かれる
8. 推論5と推論6から、推論7: "この資産負債はいみじない"が導かれる
9. 事実11から、推論8: "仮にこの資産負債がいみじないとしたら脂肪量だ一方で苦心しない"が導かれる
10. 推論7と推論8から、推論9: "この資産負債は脂肪量だけれど苦心するということはない"が導かれる
11. 事実1から、推論10: "もしこの資産負債が脂肪量であるがしかし苦心しないなら御所野遺跡だということはない"が導かれる
12. 推論9と推論10から、仮説が否定される

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