このイタリアンベリーは面白がらない
fact1: このイタリアンベリーはドリアであるかまたは御道でない fact2: このイタリアンベリーは面白がるか招き易いかどちらもだ fact3: もし仮になにかは襲うとしたらそれは意識化出来る fact4: 仮に「このイタリアンベリーは生まれ得るけれど悪戯っぽくない」ということは嘘ならばこの十二時間労働は悪戯っぽくない fact5: 仮になにがしかのものが意識化出来ればそれは面白がる fact6: もし仮にその白子組が意識化出来なくてしかも面白がらないとしたらこのイタリアンベリーは面白がらない fact7: このイタリアンベリーがドリアであるか御道であるということはないとすればそれは襲う fact8: このイタリアンベリーはドリアであるかもしくは御道だ fact9: もしこのイタリアンベリーは襲うかまたはそれは簡単過ぎないならそれは水飛沫である fact10: なにかは面白がるとすれば「それは御道だ」ということは成り立つ fact11: その三分診療は御道である fact12: 悪戯っぽくないものは意識化出来るしまた襲う fact13: もし仮にこの十二時間労働が意識化出来るとするとそれは面白がる fact14: もし仮に「このイタリアンベリーは御道でない」ということは成り立つとしたらそれは襲う
fact7 & fact1 -> int1: このイタリアンベリーは襲う; fact3 -> int2: もし仮にこのイタリアンベリーが襲うとすれば意識化出来る; int1 & int2 -> int3: このイタリアンベリーは意識化出来る; fact5 -> int4: このイタリアンベリーが意識化出来るとするとそれは面白がる; int3 & int4 -> hypothesis;
この十二時間労働は面白がる
fact17 -> int5: もし仮にこの十二時間労働が悪戯っぽいということはないなら意識化出来るしそれに襲う;
$facts$ = fact1: このイタリアンベリーはドリアであるかまたは御道でない fact2: このイタリアンベリーは面白がるか招き易いかどちらもだ fact3: もし仮になにかは襲うとしたらそれは意識化出来る fact4: 仮に「このイタリアンベリーは生まれ得るけれど悪戯っぽくない」ということは嘘ならばこの十二時間労働は悪戯っぽくない fact5: 仮になにがしかのものが意識化出来ればそれは面白がる fact6: もし仮にその白子組が意識化出来なくてしかも面白がらないとしたらこのイタリアンベリーは面白がらない fact7: このイタリアンベリーがドリアであるか御道であるということはないとすればそれは襲う fact8: このイタリアンベリーはドリアであるかもしくは御道だ fact9: もしこのイタリアンベリーは襲うかまたはそれは簡単過ぎないならそれは水飛沫である fact10: なにかは面白がるとすれば「それは御道だ」ということは成り立つ fact11: その三分診療は御道である fact12: 悪戯っぽくないものは意識化出来るしまた襲う fact13: もし仮にこの十二時間労働が意識化出来るとするとそれは面白がる fact14: もし仮に「このイタリアンベリーは御道でない」ということは成り立つとしたらそれは襲う ; $hypothesis$ = このイタリアンベリーは面白がらない ; $proof$ = 
fact7 & fact1 -> int1: このイタリアンベリーは襲う; fact3 -> int2: もし仮にこのイタリアンベリーが襲うとすれば意識化出来る; int1 & int2 -> int3: このイタリアンベリーは意識化出来る; fact5 -> int4: このイタリアンベリーが意識化出来るとするとそれは面白がる; int3 & int4 -> hypothesis; __DISPROVED__
事実1: このイタリアンベリーはドリアであるかまたは御道でない
事実2: このイタリアンベリーは面白がるか招き易いかどちらもだ
事実3: もし仮になにかは襲うとしたらそれは意識化出来る
事実4: 仮に「このイタリアンベリーは生まれ得るけれど悪戯っぽくない」ということは嘘ならばこの十二時間労働は悪戯っぽくない
事実5: 仮になにがしかのものが意識化出来ればそれは面白がる
事実6: もし仮にその白子組が意識化出来なくてしかも面白がらないとしたらこのイタリアンベリーは面白がらない
事実7: このイタリアンベリーがドリアであるか御道であるということはないとすればそれは襲う
事実8: このイタリアンベリーはドリアであるかもしくは御道だ
事実9: もしこのイタリアンベリーは襲うかまたはそれは簡単過ぎないならそれは水飛沫である
事実10: なにかは面白がるとすれば「それは御道だ」ということは成り立つ
事実11: その三分診療は御道である
事実12: 悪戯っぽくないものは意識化出来るしまた襲う
事実13: もし仮にこの十二時間労働が意識化出来るとするとそれは面白がる
事実14: もし仮に「このイタリアンベリーは御道でない」ということは成り立つとしたらそれは襲う

仮説: このイタリアンベリーは面白がらない
1. 事実7と事実1から、推論1: "このイタリアンベリーは襲う"が導かれる
2. 事実3から、推論2: "もし仮にこのイタリアンベリーが襲うとすれば意識化出来る"が導かれる
3. 推論1と推論2から、推論3: "このイタリアンベリーは意識化出来る"が導かれる
4. 事実5から、推論4: "このイタリアンベリーが意識化出来るとするとそれは面白がる"が導かれる
5. 推論3と推論4から、仮説が否定される

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