この三号戦車は考え辛くない
fact1: もし何かは懐柔しないなら把握し難くない fact2: もし仮にこの前年度売り上げは広げ深めないとすれば「それは携帯出来ないがしかし低し」ということは誤っている fact3: あの実務経験は呼び捨てない fact4: なんらかのものが携帯出来るとすれば気後れする fact5: この前年度売り上げは広げ深めるということはない fact6: もしも「その建築業は広げ深めるしおまけにそれは考え辛い」ということは成り立つとしたらあの五番館は考え辛くない fact7: もしこの前年度売り上げが気後れすればこの三号戦車は考え辛い fact8: 仮にあの花崗が把握し難くないならその建築業は広げ深めるしかつそれは易し fact9: もし仮に「あの変速機が気後れするしその上権利侵害者だ」ということは成り立たないとすればあの五番館は気後れしない fact10: 「この前年度売り上げは携帯出来るし低し」ということは偽だ fact11: 仮にあの実務経験が呼び捨てないならその建築業は考え辛くて加えて取り扱い易い fact12: あの金額は広げ深めるということはない fact13: あの花崗は懐柔しない fact14: 「なんらかの物は携帯出来るということはない一方で低し」ということは正しいということはないならばそれは気後れする fact15: もし仮にあの五番館が気後れしないし加えて考え辛いということはないとすればあの三号戦車は考え辛くない fact16: 仮にこの前年度売り上げは広げ深めないとすると「携帯出来るし低し」ということは誤りだ
fact14 -> int1: もしも「この前年度売り上げは携帯出来ないがそれは低し」ということは確かでないとすると気後れする; fact2 & fact5 -> int2: 「この前年度売り上げは携帯出来ないけれど低し」ということは偽である; int1 & int2 -> int3: この前年度売り上げは気後れする; int3 & fact7 -> hypothesis;
fact14 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact2 & fact5 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact7 -> hypothesis;
この三号戦車は考え辛くない
fact24 & fact18 -> int4: その建築業は考え辛いし更に取り扱い易い; int4 -> int5: その建築業は考え辛い; fact23 -> int6: もしあの花崗が懐柔するということはないとするとそれは把握し難くない; int6 & fact19 -> int7: あの花崗は把握し難くない; int7 & fact17 -> int8: その建築業は広げ深めるしさらに易し; int8 -> int9: その建築業は広げ深める; int5 & int9 -> int10: その建築業は広げ深めるし考え辛い; int10 & fact21 -> int11: あの五番館は考え辛くない;
$facts$ = fact1: もし何かは懐柔しないなら把握し難くない fact2: もし仮にこの前年度売り上げは広げ深めないとすれば「それは携帯出来ないがしかし低し」ということは誤っている fact3: あの実務経験は呼び捨てない fact4: なんらかのものが携帯出来るとすれば気後れする fact5: この前年度売り上げは広げ深めるということはない fact6: もしも「その建築業は広げ深めるしおまけにそれは考え辛い」ということは成り立つとしたらあの五番館は考え辛くない fact7: もしこの前年度売り上げが気後れすればこの三号戦車は考え辛い fact8: 仮にあの花崗が把握し難くないならその建築業は広げ深めるしかつそれは易し fact9: もし仮に「あの変速機が気後れするしその上権利侵害者だ」ということは成り立たないとすればあの五番館は気後れしない fact10: 「この前年度売り上げは携帯出来るし低し」ということは偽だ fact11: 仮にあの実務経験が呼び捨てないならその建築業は考え辛くて加えて取り扱い易い fact12: あの金額は広げ深めるということはない fact13: あの花崗は懐柔しない fact14: 「なんらかの物は携帯出来るということはない一方で低し」ということは正しいということはないならばそれは気後れする fact15: もし仮にあの五番館が気後れしないし加えて考え辛いということはないとすればあの三号戦車は考え辛くない fact16: 仮にこの前年度売り上げは広げ深めないとすると「携帯出来るし低し」ということは誤りだ ; $hypothesis$ = この三号戦車は考え辛くない ; $proof$ = 
fact14 -> int1: もしも「この前年度売り上げは携帯出来ないがそれは低し」ということは確かでないとすると気後れする; fact2 & fact5 -> int2: 「この前年度売り上げは携帯出来ないけれど低し」ということは偽である; int1 & int2 -> int3: この前年度売り上げは気後れする; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もし何かは懐柔しないなら把握し難くない
事実2: もし仮にこの前年度売り上げは広げ深めないとすれば「それは携帯出来ないがしかし低し」ということは誤っている
事実3: あの実務経験は呼び捨てない
事実4: なんらかのものが携帯出来るとすれば気後れする
事実5: この前年度売り上げは広げ深めるということはない
事実6: もしも「その建築業は広げ深めるしおまけにそれは考え辛い」ということは成り立つとしたらあの五番館は考え辛くない
事実7: もしこの前年度売り上げが気後れすればこの三号戦車は考え辛い
事実8: 仮にあの花崗が把握し難くないならその建築業は広げ深めるしかつそれは易し
事実9: もし仮に「あの変速機が気後れするしその上権利侵害者だ」ということは成り立たないとすればあの五番館は気後れしない
事実10: 「この前年度売り上げは携帯出来るし低し」ということは偽だ
事実11: 仮にあの実務経験が呼び捨てないならその建築業は考え辛くて加えて取り扱い易い
事実12: あの金額は広げ深めるということはない
事実13: あの花崗は懐柔しない
事実14: 「なんらかの物は携帯出来るということはない一方で低し」ということは正しいということはないならばそれは気後れする
事実15: もし仮にあの五番館が気後れしないし加えて考え辛いということはないとすればあの三号戦車は考え辛くない
事実16: 仮にこの前年度売り上げは広げ深めないとすると「携帯出来るし低し」ということは誤りだ

仮説: この三号戦車は考え辛くない
1. 事実14から、推論1: "もしも「この前年度売り上げは携帯出来ないがそれは低し」ということは確かでないとすると気後れする"が導かれる
2. 事実2と事実5から、推論2: "「この前年度売り上げは携帯出来ないけれど低し」ということは偽である"が導かれる
3. 推論1と推論2から、推論3: "この前年度売り上げは気後れする"が導かれる
4. 推論3と事実7から、仮説が否定される

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