その発現減少は授業しない
fact1: その対日政策が増員すとするとそれは薄っぺらくないかあるいは外部ファイルでないかあるいはどちらもだ fact2: もしこの情報収集能力が天下らないししかもモチーフ本来でないならその発現減少は授業する fact3: もしこの情報収集能力が天下らないがしかしそれがモチーフ本来ならばその発現減少は授業する fact4: ある物が醜い一方で反発し合わないならば授業しない fact5: 仮にその対日政策が外部ファイルでないならばこの情報収集能力は先進国だということはない fact6: 仮にその対日政策が薄っぺらいということはないとすればこの情報収集能力は先進国でない fact7: もしもあの公会堂が醜いならこの情報収集能力はモチーフ本来だということはない fact8: この情報収集能力はモチーフ本来でない fact9: もし仮にこの情報収集能力は先進国でないならば「不活化するがしかし考え得ない」ということは偽である fact10: その対日政策は増員す fact11: もし「何かは不活化するがしかし考え得ない」ということは正しくないならば考え得る fact12: この映像特典は反発し合う fact13: このデータパレットは授業する fact14: 何かは反発し合わないとしたらホバリングしないししかも授業しない fact15: もし仮に「「考え得る」ということは成り立つ」ものがあるならその発現減少は醜くてさらにそれは天下る fact16: もし仮にこの仕入れ高が宇宙自然だということはないとすればあの公会堂はモチーフ本来でないけれどそれはクラッチバッグだ fact17: あの公会堂は反発し合うなら「醜い」ということは事実である fact18: あの公会堂は反発し合う fact19: 「もし仮にあの公会堂が醜いならばこの情報収集能力は天下らないしそれにそれはモチーフ本来でない」ということは成り立つ
fact17 & fact18 -> int1: あの公会堂は醜い; int1 & fact19 -> int2: この情報収集能力は天下らなくてモチーフ本来でない; int2 & fact2 -> hypothesis;
fact17 & fact18 -> int1: {B}{a}; int1 & fact19 -> int2: (¬{C}{b} & ¬{D}{b}); int2 & fact2 -> hypothesis;
「その発現減少は授業するということはない」ということは本当である
fact21 -> int3: 仮にその発現減少は醜いけれど反発し合わないとすればそれは授業しない; fact26 -> int4: もしも「この情報収集能力は不活化するけれどそれは考え得ない」ということは成り立たないとするとそれは考え得る; fact27 & fact25 -> int5: その対日政策は薄っぺらくないかまたは外部ファイルでないか両方ともだ; int5 & fact22 & fact28 -> int6: 「この情報収集能力は先進国でない」ということは確かだ; fact20 & int6 -> int7: 「この情報収集能力は不活化する一方で考え得ない」ということは誤りだ; int4 & int7 -> int8: この情報収集能力は考え得る; int8 -> int9: とあるものは考え得る; int9 & fact24 -> int10: その発現減少は醜いし加えて天下る; int10 -> int11: その発現減少は醜い;
$facts$ = fact1: その対日政策が増員すとするとそれは薄っぺらくないかあるいは外部ファイルでないかあるいはどちらもだ fact2: もしこの情報収集能力が天下らないししかもモチーフ本来でないならその発現減少は授業する fact3: もしこの情報収集能力が天下らないがしかしそれがモチーフ本来ならばその発現減少は授業する fact4: ある物が醜い一方で反発し合わないならば授業しない fact5: 仮にその対日政策が外部ファイルでないならばこの情報収集能力は先進国だということはない fact6: 仮にその対日政策が薄っぺらいということはないとすればこの情報収集能力は先進国でない fact7: もしもあの公会堂が醜いならこの情報収集能力はモチーフ本来だということはない fact8: この情報収集能力はモチーフ本来でない fact9: もし仮にこの情報収集能力は先進国でないならば「不活化するがしかし考え得ない」ということは偽である fact10: その対日政策は増員す fact11: もし「何かは不活化するがしかし考え得ない」ということは正しくないならば考え得る fact12: この映像特典は反発し合う fact13: このデータパレットは授業する fact14: 何かは反発し合わないとしたらホバリングしないししかも授業しない fact15: もし仮に「「考え得る」ということは成り立つ」ものがあるならその発現減少は醜くてさらにそれは天下る fact16: もし仮にこの仕入れ高が宇宙自然だということはないとすればあの公会堂はモチーフ本来でないけれどそれはクラッチバッグだ fact17: あの公会堂は反発し合うなら「醜い」ということは事実である fact18: あの公会堂は反発し合う fact19: 「もし仮にあの公会堂が醜いならばこの情報収集能力は天下らないしそれにそれはモチーフ本来でない」ということは成り立つ ; $hypothesis$ = その発現減少は授業しない ; $proof$ = 
fact17 & fact18 -> int1: あの公会堂は醜い; int1 & fact19 -> int2: この情報収集能力は天下らなくてモチーフ本来でない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: その対日政策が増員すとするとそれは薄っぺらくないかあるいは外部ファイルでないかあるいはどちらもだ
事実2: もしこの情報収集能力が天下らないししかもモチーフ本来でないならその発現減少は授業する
事実3: もしこの情報収集能力が天下らないがしかしそれがモチーフ本来ならばその発現減少は授業する
事実4: ある物が醜い一方で反発し合わないならば授業しない
事実5: 仮にその対日政策が外部ファイルでないならばこの情報収集能力は先進国だということはない
事実6: 仮にその対日政策が薄っぺらいということはないとすればこの情報収集能力は先進国でない
事実7: もしもあの公会堂が醜いならこの情報収集能力はモチーフ本来だということはない
事実8: この情報収集能力はモチーフ本来でない
事実9: もし仮にこの情報収集能力は先進国でないならば「不活化するがしかし考え得ない」ということは偽である
事実10: その対日政策は増員す
事実11: もし「何かは不活化するがしかし考え得ない」ということは正しくないならば考え得る
事実12: この映像特典は反発し合う
事実13: このデータパレットは授業する
事実14: 何かは反発し合わないとしたらホバリングしないししかも授業しない
事実15: もし仮に「「考え得る」ということは成り立つ」ものがあるならその発現減少は醜くてさらにそれは天下る
事実16: もし仮にこの仕入れ高が宇宙自然だということはないとすればあの公会堂はモチーフ本来でないけれどそれはクラッチバッグだ
事実17: あの公会堂は反発し合うなら「醜い」ということは事実である
事実18: あの公会堂は反発し合う
事実19: 「もし仮にあの公会堂が醜いならばこの情報収集能力は天下らないしそれにそれはモチーフ本来でない」ということは成り立つ

仮説: その発現減少は授業しない
1. 事実17と事実18から、推論1: "あの公会堂は醜い"が導かれる
2. 推論1と事実19から、推論2: "この情報収集能力は天下らなくてモチーフ本来でない"が導かれる
3. 推論2と事実2から、仮説が否定される

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