そのマテリアルリサイクルは持続する
fact1: もしその首位が下げ止まるとすればあの当営業年度は製造中でない fact2: 仮に何らかの物は割れでないとすると少なしけどテキストボックス内でない fact3: もしもその総務科が少なしけれどテキストボックス内であるということはないとするとこの開発エンジニアは冷め難い fact4: 製造中は曇り無し fact5: もし仮に「「その首位は下げ止まらないけれど差し向ける」ということは成り立たない」ということは真実であるとすればその当営業年度は製造中であるということはない fact6: その自然治癒能力は監査するがしかしそれはプレゼント出来ない fact7: もし仮にこの開発エンジニアが冷め難いならそれはひょろ長い fact8: その首位は持続すれば「それは下げ止まるということはないしそれは製造中である」ということは成り立たない fact9: 「「「その総務科はカモフラージュしない」ということは成り立つ」ということは誤りだ」ということは成り立つ fact10: 「その首位は下げ止まるしおまけにそれは差し向ける」ということは偽である fact11: もし仮にその首位は曇り無しなら「それは下げ止まらないし差し向ける」ということは偽である fact12: 仮に「その当営業年度は下げ止まらない」ということは本当ならば「その首位は製造中でない」ということは確かである fact13: 「監査するがプレゼント出来ない」ものがあればその総務科はめぼしい fact14: その首位は曇り無し fact15: もしもその総務科がめぼしいしカモフラージュすればそれは割れでない fact16: もしもその当営業年度が製造中でないとするとそのマテリアルリサイクルは持続しない fact17: 仮にその首位がＣＡＳＥステートメントでないとするとそのマテリアルリサイクルは製造中であるしてきぱきする fact18: 仮になんらかの物がガイドしないとすると好演するし更に裁定する fact19: もし仮にこの開発エンジニアがひょろ長いならその当営業年度はガイドしない fact20: 曇り無しものは持続する fact21: 仮にその首位は曇り無しとすれば「下げ止まるし差し向ける」ということは誤りだ fact22: その首位は製造中であるとしたら「それは差し向けないけど下げ止まる」ということは嘘だ fact23: 「その首位は曇り無しないけれどそれは持続する」ということは偽である
fact11 & fact14 -> int1: 「その首位は下げ止まらないけど差し向ける」ということは事実と異なる; int1 & fact5 -> int2: その当営業年度は製造中でない; int2 & fact16 -> hypothesis;
fact11 & fact14 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 & fact5 -> int2: ¬{B}{b}; int2 & fact16 -> hypothesis;
そのマテリアルリサイクルは持続する
fact32 -> int3: そのマテリアルリサイクルが曇り無しとすれば持続する; fact25 -> int4: もし仮にそのマテリアルリサイクルが製造中なら曇り無し; fact29 -> int5: もしその当営業年度がガイドしないならばそれが好演するしその上それは裁定する; fact35 -> int6: その総務科は割れでないとしたらそれは少なしけれどテキストボックス内でない; fact28 -> int7: 「監査するしそれにプレゼント出来ない」物はある; int7 & fact34 -> int8: その総務科はめぼしい; int8 & fact26 -> int9: その総務科はめぼしくてカモフラージュする; fact30 & int9 -> int10: その総務科は割れだということはない; int6 & int10 -> int11: その総務科は少なし一方でテキストボックス内でない; fact24 & int11 -> int12: この開発エンジニアは冷め難い; fact31 & int12 -> int13: この開発エンジニアはひょろ長い; fact33 & int13 -> int14: その当営業年度はガイドしない; int5 & int14 -> int15: その当営業年度は好演するしそれに裁定する; int15 -> int16: その当営業年度は好演する; int16 -> int17: 「好演する」ものはある;
$facts$ = fact1: もしその首位が下げ止まるとすればあの当営業年度は製造中でない fact2: 仮に何らかの物は割れでないとすると少なしけどテキストボックス内でない fact3: もしもその総務科が少なしけれどテキストボックス内であるということはないとするとこの開発エンジニアは冷め難い fact4: 製造中は曇り無し fact5: もし仮に「「その首位は下げ止まらないけれど差し向ける」ということは成り立たない」ということは真実であるとすればその当営業年度は製造中であるということはない fact6: その自然治癒能力は監査するがしかしそれはプレゼント出来ない fact7: もし仮にこの開発エンジニアが冷め難いならそれはひょろ長い fact8: その首位は持続すれば「それは下げ止まるということはないしそれは製造中である」ということは成り立たない fact9: 「「「その総務科はカモフラージュしない」ということは成り立つ」ということは誤りだ」ということは成り立つ fact10: 「その首位は下げ止まるしおまけにそれは差し向ける」ということは偽である fact11: もし仮にその首位は曇り無しなら「それは下げ止まらないし差し向ける」ということは偽である fact12: 仮に「その当営業年度は下げ止まらない」ということは本当ならば「その首位は製造中でない」ということは確かである fact13: 「監査するがプレゼント出来ない」ものがあればその総務科はめぼしい fact14: その首位は曇り無し fact15: もしもその総務科がめぼしいしカモフラージュすればそれは割れでない fact16: もしもその当営業年度が製造中でないとするとそのマテリアルリサイクルは持続しない fact17: 仮にその首位がＣＡＳＥステートメントでないとするとそのマテリアルリサイクルは製造中であるしてきぱきする fact18: 仮になんらかの物がガイドしないとすると好演するし更に裁定する fact19: もし仮にこの開発エンジニアがひょろ長いならその当営業年度はガイドしない fact20: 曇り無しものは持続する fact21: 仮にその首位は曇り無しとすれば「下げ止まるし差し向ける」ということは誤りだ fact22: その首位は製造中であるとしたら「それは差し向けないけど下げ止まる」ということは嘘だ fact23: 「その首位は曇り無しないけれどそれは持続する」ということは偽である ; $hypothesis$ = そのマテリアルリサイクルは持続する ; $proof$ = 
fact11 & fact14 -> int1: 「その首位は下げ止まらないけど差し向ける」ということは事実と異なる; int1 & fact5 -> int2: その当営業年度は製造中でない; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: もしその首位が下げ止まるとすればあの当営業年度は製造中でない
事実2: 仮に何らかの物は割れでないとすると少なしけどテキストボックス内でない
事実3: もしもその総務科が少なしけれどテキストボックス内であるということはないとするとこの開発エンジニアは冷め難い
事実4: 製造中は曇り無し
事実5: もし仮に「「その首位は下げ止まらないけれど差し向ける」ということは成り立たない」ということは真実であるとすればその当営業年度は製造中であるということはない
事実6: その自然治癒能力は監査するがしかしそれはプレゼント出来ない
事実7: もし仮にこの開発エンジニアが冷め難いならそれはひょろ長い
事実8: その首位は持続すれば「それは下げ止まるということはないしそれは製造中である」ということは成り立たない
事実9: 「「「その総務科はカモフラージュしない」ということは成り立つ」ということは誤りだ」ということは成り立つ
事実10: 「その首位は下げ止まるしおまけにそれは差し向ける」ということは偽である
事実11: もし仮にその首位は曇り無しなら「それは下げ止まらないし差し向ける」ということは偽である
事実12: 仮に「その当営業年度は下げ止まらない」ということは本当ならば「その首位は製造中でない」ということは確かである
事実13: 「監査するがプレゼント出来ない」ものがあればその総務科はめぼしい
事実14: その首位は曇り無し
事実15: もしもその総務科がめぼしいしカモフラージュすればそれは割れでない
事実16: もしもその当営業年度が製造中でないとするとそのマテリアルリサイクルは持続しない
事実17: 仮にその首位がＣＡＳＥステートメントでないとするとそのマテリアルリサイクルは製造中であるしてきぱきする
事実18: 仮になんらかの物がガイドしないとすると好演するし更に裁定する
事実19: もし仮にこの開発エンジニアがひょろ長いならその当営業年度はガイドしない
事実20: 曇り無しものは持続する
事実21: 仮にその首位は曇り無しとすれば「下げ止まるし差し向ける」ということは誤りだ
事実22: その首位は製造中であるとしたら「それは差し向けないけど下げ止まる」ということは嘘だ
事実23: 「その首位は曇り無しないけれどそれは持続する」ということは偽である

仮説: そのマテリアルリサイクルは持続する
1. 事実11と事実14から、推論1: "「その首位は下げ止まらないけど差し向ける」ということは事実と異なる"が導かれる
2. 推論1と事実5から、推論2: "その当営業年度は製造中でない"が導かれる
3. 推論2と事実16から、仮説が否定される

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