その道内各地はいわさない
fact1: もしとある物が浮き易いとしたらそれはヒッチハイクする fact2: もしあの内情は厚ぼったいとすれば「その道内各地はいわさない」ということは成り立つ fact3: もしその道内各地が厚ぼったくないとすればあの内情はいわす fact4: あの内情は厚ぼったくない fact5: この四分の一カップは再燃する fact6: そのブルーシートは聖僧だ fact7: その道内各地はクーポン券だ fact8: あのＣＥＣはヒッチハイクする fact9: その道内各地は厚ぼったい fact10: もしもあの内情が厚ぼったくないならばこの四分の一カップは浮き易いしさらにそれは再燃する fact11: 仮にこの四分の一カップがヒッチハイクすればその道内各地は聖僧である fact12: 仮に「その道内各地は再燃する」ということは成り立つとするとこの四分の一カップはいわす fact13: もし仮にその道内各地が聖僧だとすればそれはいわす
fact10 & fact4 -> int1: この四分の一カップは浮き易いしその上再燃する; int1 -> int2: この四分の一カップは浮き易い; fact1 -> int3: 仮にこの四分の一カップが浮き易いとすればヒッチハイクする; int2 & int3 -> int4: この四分の一カップはヒッチハイクする; int4 & fact11 -> int5: その道内各地は聖僧だ; int5 & fact13 -> hypothesis;
その道内各地はいわさない
$facts$ = fact1: もしとある物が浮き易いとしたらそれはヒッチハイクする fact2: もしあの内情は厚ぼったいとすれば「その道内各地はいわさない」ということは成り立つ fact3: もしその道内各地が厚ぼったくないとすればあの内情はいわす fact4: あの内情は厚ぼったくない fact5: この四分の一カップは再燃する fact6: そのブルーシートは聖僧だ fact7: その道内各地はクーポン券だ fact8: あのＣＥＣはヒッチハイクする fact9: その道内各地は厚ぼったい fact10: もしもあの内情が厚ぼったくないならばこの四分の一カップは浮き易いしさらにそれは再燃する fact11: 仮にこの四分の一カップがヒッチハイクすればその道内各地は聖僧である fact12: 仮に「その道内各地は再燃する」ということは成り立つとするとこの四分の一カップはいわす fact13: もし仮にその道内各地が聖僧だとすればそれはいわす ; $hypothesis$ = その道内各地はいわさない ; $proof$ = 
fact10 & fact4 -> int1: この四分の一カップは浮き易いしその上再燃する; int1 -> int2: この四分の一カップは浮き易い; fact1 -> int3: 仮にこの四分の一カップが浮き易いとすればヒッチハイクする; int2 & int3 -> int4: この四分の一カップはヒッチハイクする; int4 & fact11 -> int5: その道内各地は聖僧だ; int5 & fact13 -> hypothesis; __DISPROVED__
事実1: もしとある物が浮き易いとしたらそれはヒッチハイクする
事実2: もしあの内情は厚ぼったいとすれば「その道内各地はいわさない」ということは成り立つ
事実3: もしその道内各地が厚ぼったくないとすればあの内情はいわす
事実4: あの内情は厚ぼったくない
事実5: この四分の一カップは再燃する
事実6: そのブルーシートは聖僧だ
事実7: その道内各地はクーポン券だ
事実8: あのＣＥＣはヒッチハイクする
事実9: その道内各地は厚ぼったい
事実10: もしもあの内情が厚ぼったくないならばこの四分の一カップは浮き易いしさらにそれは再燃する
事実11: 仮にこの四分の一カップがヒッチハイクすればその道内各地は聖僧である
事実12: 仮に「その道内各地は再燃する」ということは成り立つとするとこの四分の一カップはいわす
事実13: もし仮にその道内各地が聖僧だとすればそれはいわす

仮説: その道内各地はいわさない
1. 事実10と事実4から、推論1: "この四分の一カップは浮き易いしその上再燃する"が導かれる
2. 推論1から、推論2: "この四分の一カップは浮き易い"が導かれる
3. 事実1から、推論3: "仮にこの四分の一カップが浮き易いとすればヒッチハイクする"が導かれる
4. 推論2と推論3から、推論4: "この四分の一カップはヒッチハイクする"が導かれる
5. 推論4と事実11から、推論5: "その道内各地は聖僧だ"が導かれる
6. 推論5と事実13から、仮説が否定される

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