「その第二種特定化学物質使用製品が御座るとすればこの既は押し込めない」ということは間違いである
fact1: その第二種特定化学物質使用製品が御座るとするとこの既は押し込める fact2: 仮にこの既が押し込めるしそれがちぎれ易いとすればその第二種特定化学物質使用製品は御座らない fact3: もし仮にあのチャージバリヤーが戻さないけど堪り易いならこの既は報道機関だ fact4: もしもその自己負担額がちぎれ易くないとすればあの正月行事は強靭であるかあるいはそれは報道機関であるかどちらもだ fact5: 仮にその自己負担額が強靭でないならあのチャージバリヤーは戻すということはないがそれは堪り易い fact6: もしもなにかは報道機関であるならちぎれ易い fact7: その自己負担額は強靭でない fact8: もしもその自己負担額が強靭でないとするとあのチャージバリヤーは戻さない fact9: 仮にこの既は神経過敏でないとしたら「あのチャージバリヤーは未成年者控除でなくてそれは御座らない」ということは間違いである fact10: もし仮にこの既が押し込めるしその上ちぎれ易いならばその第二種特定化学物質使用製品は御座る fact11: もしもあのチャージバリヤーが戻すししかも堪り易いとするとこの既は報道機関である fact12: あのチャージバリヤーは戻さない
fact5 & fact7 -> int1: あのチャージバリヤーは戻さないけど堪り易い; int1 & fact3 -> int2: 「この既は報道機関だ」ということは真実だ; fact6 -> int3: もしもこの既が報道機関だとしたらそれはちぎれ易い; int2 & int3 -> int4: この既はちぎれ易い; void -> assump1: 以下のように仮定する。「この既は押し込める」ということは確かだ; int4 & assump1 -> int5: この既は押し込めるしちぎれ易い; int5 & fact2 -> int6: その第二種特定化学物質使用製品は御座らない; void -> assump2: 以下のように仮定する。その第二種特定化学物質使用製品は御座る; int6 & assump2 -> int7: これは矛盾である; [assump1] & int7 -> int8: この既は押し込めない; [assump2] & int8 -> hypothesis;
あの正月行事は押し込める
$facts$ = fact1: その第二種特定化学物質使用製品が御座るとするとこの既は押し込める fact2: 仮にこの既が押し込めるしそれがちぎれ易いとすればその第二種特定化学物質使用製品は御座らない fact3: もし仮にあのチャージバリヤーが戻さないけど堪り易いならこの既は報道機関だ fact4: もしもその自己負担額がちぎれ易くないとすればあの正月行事は強靭であるかあるいはそれは報道機関であるかどちらもだ fact5: 仮にその自己負担額が強靭でないならあのチャージバリヤーは戻すということはないがそれは堪り易い fact6: もしもなにかは報道機関であるならちぎれ易い fact7: その自己負担額は強靭でない fact8: もしもその自己負担額が強靭でないとするとあのチャージバリヤーは戻さない fact9: 仮にこの既は神経過敏でないとしたら「あのチャージバリヤーは未成年者控除でなくてそれは御座らない」ということは間違いである fact10: もし仮にこの既が押し込めるしその上ちぎれ易いならばその第二種特定化学物質使用製品は御座る fact11: もしもあのチャージバリヤーが戻すししかも堪り易いとするとこの既は報道機関である fact12: あのチャージバリヤーは戻さない ; $hypothesis$ = 「その第二種特定化学物質使用製品が御座るとすればこの既は押し込めない」ということは間違いである ; $proof$ = 
fact5 & fact7 -> int1: あのチャージバリヤーは戻さないけど堪り易い; int1 & fact3 -> int2: 「この既は報道機関だ」ということは真実だ; fact6 -> int3: もしもこの既が報道機関だとしたらそれはちぎれ易い; int2 & int3 -> int4: この既はちぎれ易い; void -> assump1: 以下のように仮定する。「この既は押し込める」ということは確かだ; int4 & assump1 -> int5: この既は押し込めるしちぎれ易い; int5 & fact2 -> int6: その第二種特定化学物質使用製品は御座らない; void -> assump2: 以下のように仮定する。その第二種特定化学物質使用製品は御座る; int6 & assump2 -> int7: これは矛盾である; [assump1] & int7 -> int8: この既は押し込めない; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: その第二種特定化学物質使用製品が御座るとするとこの既は押し込める
事実2: 仮にこの既が押し込めるしそれがちぎれ易いとすればその第二種特定化学物質使用製品は御座らない
事実3: もし仮にあのチャージバリヤーが戻さないけど堪り易いならこの既は報道機関だ
事実4: もしもその自己負担額がちぎれ易くないとすればあの正月行事は強靭であるかあるいはそれは報道機関であるかどちらもだ
事実5: 仮にその自己負担額が強靭でないならあのチャージバリヤーは戻すということはないがそれは堪り易い
事実6: もしもなにかは報道機関であるならちぎれ易い
事実7: その自己負担額は強靭でない
事実8: もしもその自己負担額が強靭でないとするとあのチャージバリヤーは戻さない
事実9: 仮にこの既は神経過敏でないとしたら「あのチャージバリヤーは未成年者控除でなくてそれは御座らない」ということは間違いである
事実10: もし仮にこの既が押し込めるしその上ちぎれ易いならばその第二種特定化学物質使用製品は御座る
事実11: もしもあのチャージバリヤーが戻すししかも堪り易いとするとこの既は報道機関である
事実12: あのチャージバリヤーは戻さない

仮説: 「その第二種特定化学物質使用製品が御座るとすればこの既は押し込めない」ということは間違いである
1. 事実5と事実7から、推論1: "あのチャージバリヤーは戻さないけど堪り易い"が導かれる
2. 推論1と事実3から、推論2: "「この既は報道機関だ」ということは真実だ"が導かれる
3. 事実6から、推論3: "もしもこの既が報道機関だとしたらそれはちぎれ易い"が導かれる
4. 推論2と推論3から、推論4: "この既はちぎれ易い"が導かれる
5. 仮定1: 以下のように仮定する。「この既は押し込める」ということは確かだ
6. 推論4と仮定1から、推論5: "この既は押し込めるしちぎれ易い"が導かれる
7. 推論5と事実2から、推論6: "その第二種特定化学物質使用製品は御座らない"が導かれる
8. 仮定2: 以下のように仮定する。その第二種特定化学物質使用製品は御座る
9. 推論6と仮定2から、推論7: "これは矛盾である"が導かれる
10. [仮定1]と推論7から、推論8: "この既は押し込めない"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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