この退学届けは素っ気なくない
fact1: もし仮に何かは監視・監督機能でないがそれが茶色っぽいとしたら減弱する fact2: この退学届けは日本国憲法下である fact3: 「もしあの都市部が匿わないししかも育ち合えないとしたらあの都市部は睨め上げる」ということは確かである fact4: この退学届けは日本国憲法下であるがしかし共起しない fact5: もしも「「恭しくない」ということは真実である」ものはあるなら「あの都市部は審査しないけど御覧下さる」ということは間違いである fact6: 仮にあの都市部が審査するならそれは監視・監督機能でなくてそれは茶色っぽい fact7: もしも耐え難い物は要路でないならば発見し得るということはない fact8: あの道徳法則は恭しくない fact9: そのアメリカ精神が凍てないならこの退学届けは怪しいということはない fact10: その輪郭線は可決するが男らしくないとすれば要路でない fact11: もし仮に「この退学届けは日本国憲法下だがしかし共起するということはない」ということは確かだとすれば要路でない fact12: もしもこの退学届けは日本国憲法下であるが結着しないとすれば審査しない fact13: もし何かは要路でないなら素っ気ない fact14: もし仮に「あの都市部は審査しないけれどそれは御覧下さる」ということは偽だとすると「それは審査する」ということは成り立つ fact15: もしもあの都市部が減弱するし更に睨め上げるならばあのアメリカ精神は凍てない fact16: 怪しくないものは素っ気ないということはなくて要路でない fact17: 仮に何らかの物が掻き始めないとすればそれは匿わないししかもそれは育ち合えない
fact11 & fact4 -> int1: この退学届けは要路でない; fact13 -> int2: この退学届けは要路でないなら「それは素っ気ない」ということは正しい; int1 & int2 -> hypothesis;
fact11 & fact4 -> int1: ¬{B}{a}; fact13 -> int2: ¬{B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
この退学届けは素っ気なくない
fact25 -> int3: この退学届けが怪しくないなら素っ気なくなくて加えて要路であるということはない; fact20 -> int4: あの都市部が監視・監督機能でないけれどそれが茶色っぽいとすると減弱する; fact24 -> int5: 「恭しくない」ものはある; int5 & fact21 -> int6: 「あの都市部は審査しないがしかしそれは御覧下さる」ということは正しくない; fact22 & int6 -> int7: あの都市部は審査する; fact19 & int7 -> int8: あの都市部は監視・監督機能でないがしかし茶色っぽい; int4 & int8 -> int9: あの都市部は減弱する; fact23 -> int10: もし仮にあの都市部が掻き始めないならそれは匿うということはなくて育ち合えるということはない;
$facts$ = fact1: もし仮に何かは監視・監督機能でないがそれが茶色っぽいとしたら減弱する fact2: この退学届けは日本国憲法下である fact3: 「もしあの都市部が匿わないししかも育ち合えないとしたらあの都市部は睨め上げる」ということは確かである fact4: この退学届けは日本国憲法下であるがしかし共起しない fact5: もしも「「恭しくない」ということは真実である」ものはあるなら「あの都市部は審査しないけど御覧下さる」ということは間違いである fact6: 仮にあの都市部が審査するならそれは監視・監督機能でなくてそれは茶色っぽい fact7: もしも耐え難い物は要路でないならば発見し得るということはない fact8: あの道徳法則は恭しくない fact9: そのアメリカ精神が凍てないならこの退学届けは怪しいということはない fact10: その輪郭線は可決するが男らしくないとすれば要路でない fact11: もし仮に「この退学届けは日本国憲法下だがしかし共起するということはない」ということは確かだとすれば要路でない fact12: もしもこの退学届けは日本国憲法下であるが結着しないとすれば審査しない fact13: もし何かは要路でないなら素っ気ない fact14: もし仮に「あの都市部は審査しないけれどそれは御覧下さる」ということは偽だとすると「それは審査する」ということは成り立つ fact15: もしもあの都市部が減弱するし更に睨め上げるならばあのアメリカ精神は凍てない fact16: 怪しくないものは素っ気ないということはなくて要路でない fact17: 仮に何らかの物が掻き始めないとすればそれは匿わないししかもそれは育ち合えない ; $hypothesis$ = この退学届けは素っ気なくない ; $proof$ = 
fact11 & fact4 -> int1: この退学届けは要路でない; fact13 -> int2: この退学届けは要路でないなら「それは素っ気ない」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは監視・監督機能でないがそれが茶色っぽいとしたら減弱する
事実2: この退学届けは日本国憲法下である
事実3: 「もしあの都市部が匿わないししかも育ち合えないとしたらあの都市部は睨め上げる」ということは確かである
事実4: この退学届けは日本国憲法下であるがしかし共起しない
事実5: もしも「「恭しくない」ということは真実である」ものはあるなら「あの都市部は審査しないけど御覧下さる」ということは間違いである
事実6: 仮にあの都市部が審査するならそれは監視・監督機能でなくてそれは茶色っぽい
事実7: もしも耐え難い物は要路でないならば発見し得るということはない
事実8: あの道徳法則は恭しくない
事実9: そのアメリカ精神が凍てないならこの退学届けは怪しいということはない
事実10: その輪郭線は可決するが男らしくないとすれば要路でない
事実11: もし仮に「この退学届けは日本国憲法下だがしかし共起するということはない」ということは確かだとすれば要路でない
事実12: もしもこの退学届けは日本国憲法下であるが結着しないとすれば審査しない
事実13: もし何かは要路でないなら素っ気ない
事実14: もし仮に「あの都市部は審査しないけれどそれは御覧下さる」ということは偽だとすると「それは審査する」ということは成り立つ
事実15: もしもあの都市部が減弱するし更に睨め上げるならばあのアメリカ精神は凍てない
事実16: 怪しくないものは素っ気ないということはなくて要路でない
事実17: 仮に何らかの物が掻き始めないとすればそれは匿わないししかもそれは育ち合えない

仮説: この退学届けは素っ気なくない
1. 事実11と事実4から、推論1: "この退学届けは要路でない"が導かれる
2. 事実13から、推論2: "この退学届けは要路でないなら「それは素っ気ない」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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