あのディベートはプロセスイングでない
fact1: もしこの成鳥が謝罪すらないならあのディベートは謝罪すかもしくは変化し易い fact2: もし仮になにがしかの物は謝罪すか変化し易くないかまたは両方ともだとしたらプロセスイングでない fact3: あのディベートは謝罪すか変化し易い fact4: もしもあのディベートがプロセスイングだということはないならこの成鳥はプロセスイングであるかあるいは謝罪すらないかあるいは両方である fact5: もし仮にこの成鳥が伝え易いということはないとするとあのディベートはプロセスイングで羨ましい fact6: 仮にこの消費者金融会社が給田するということはないしおまけに変乱だということはないとするとこの成鳥は給田しない fact7: 仮にこの成鳥が謝罪すらないならばあのディベートは謝罪すかまたはそれは変化し易くない fact8: この成鳥が若ししその上演奏旅行だ fact9: もし仮にあるものが相関しないとすれば変乱であるということはない fact10: 仮になにかは生易しくないならばこの消費者金融会社は給田しない fact11: 「そのドゥーＥＳはいがらっぽくない」ということは本当だ fact12: そのドゥーＥＳはいがらっぽくないとすると「それは目新しいしかつ相関する」ということは嘘である fact13: この成鳥は伝え易い fact14: 「この成鳥は羨ましい」ということは事実と異ならない fact15: もし「なにがしかの物は謝罪す」ということは事実だとすると「伝え易くなくてそれは羨ましいということはない」ということは間違いだ fact16: 変化し易くない物はプロセスイングだということはない fact17: 仮にあのディベートは変化し易くないとしたらプロセスイングだということはない fact18: この成鳥が給田しないとすればそれは謝罪すしさらに変化し易い fact19: もしも「あのシングルカムは飛行機らしくない」ということは本当であるならそれは集め易くないしそれにそれは連動しない fact20: もしこの消費者金融会社が伝え易くないがしかし変化し易いならこの成鳥は伝え易くない fact21: 仮に何らかのものが羨ましくて加えて伝え易いならば謝罪すらない fact22: あのシングルカムは飛行機らしくない fact23: その官女は変化し易いしまた固い fact24: 仮にあのシングルカムが集め易くないしそれが連動しないとしたらそれは生易しくない
fact14 & fact13 -> int1: この成鳥は羨ましいしその上伝え易い; fact21 -> int2: この成鳥は羨ましいしそれに伝え易いならばそれは謝罪すらない; int1 & int2 -> int3: この成鳥は謝罪すらない; int3 & fact7 -> int4: あのディベートは謝罪すかまたは変化し易いということはない; fact2 -> int5: 仮にあのディベートは謝罪すかまたは変化し易くないかまたは両方だとすると「それはプロセスイングだということはない」ということは真実である; int4 & int5 -> hypothesis;
あのディベートはプロセスイングである
fact34 -> int6: この成鳥は謝罪すとすれば「それは伝え易くなくてその上羨ましくない」ということは成り立たない; fact32 & fact31 -> int7: あのシングルカムは集め易くなくて連動するということはない; fact28 & int7 -> int8: あのシングルカムは生易しくない; int8 -> int9: とあるものは生易しくない; int9 & fact27 -> int10: この消費者金融会社は給田しない; fact29 -> int11: もし仮に「この消費者金融会社は相関しない」ということは確かであるとすると「変乱でない」ということは事実だ; fact25 & fact30 -> int12: 「そのドゥーＥＳは目新しくて加えて相関する」ということは間違っている; int12 -> int13: 「「目新しいし相関する」ということは成り立たない」物はある;
$facts$ = fact1: もしこの成鳥が謝罪すらないならあのディベートは謝罪すかもしくは変化し易い fact2: もし仮になにがしかの物は謝罪すか変化し易くないかまたは両方ともだとしたらプロセスイングでない fact3: あのディベートは謝罪すか変化し易い fact4: もしもあのディベートがプロセスイングだということはないならこの成鳥はプロセスイングであるかあるいは謝罪すらないかあるいは両方である fact5: もし仮にこの成鳥が伝え易いということはないとするとあのディベートはプロセスイングで羨ましい fact6: 仮にこの消費者金融会社が給田するということはないしおまけに変乱だということはないとするとこの成鳥は給田しない fact7: 仮にこの成鳥が謝罪すらないならばあのディベートは謝罪すかまたはそれは変化し易くない fact8: この成鳥が若ししその上演奏旅行だ fact9: もし仮にあるものが相関しないとすれば変乱であるということはない fact10: 仮になにかは生易しくないならばこの消費者金融会社は給田しない fact11: 「そのドゥーＥＳはいがらっぽくない」ということは本当だ fact12: そのドゥーＥＳはいがらっぽくないとすると「それは目新しいしかつ相関する」ということは嘘である fact13: この成鳥は伝え易い fact14: 「この成鳥は羨ましい」ということは事実と異ならない fact15: もし「なにがしかの物は謝罪す」ということは事実だとすると「伝え易くなくてそれは羨ましいということはない」ということは間違いだ fact16: 変化し易くない物はプロセスイングだということはない fact17: 仮にあのディベートは変化し易くないとしたらプロセスイングだということはない fact18: この成鳥が給田しないとすればそれは謝罪すしさらに変化し易い fact19: もしも「あのシングルカムは飛行機らしくない」ということは本当であるならそれは集め易くないしそれにそれは連動しない fact20: もしこの消費者金融会社が伝え易くないがしかし変化し易いならこの成鳥は伝え易くない fact21: 仮に何らかのものが羨ましくて加えて伝え易いならば謝罪すらない fact22: あのシングルカムは飛行機らしくない fact23: その官女は変化し易いしまた固い fact24: 仮にあのシングルカムが集め易くないしそれが連動しないとしたらそれは生易しくない ; $hypothesis$ = あのディベートはプロセスイングでない ; $proof$ = 
fact14 & fact13 -> int1: この成鳥は羨ましいしその上伝え易い; fact21 -> int2: この成鳥は羨ましいしそれに伝え易いならばそれは謝罪すらない; int1 & int2 -> int3: この成鳥は謝罪すらない; int3 & fact7 -> int4: あのディベートは謝罪すかまたは変化し易いということはない; fact2 -> int5: 仮にあのディベートは謝罪すかまたは変化し易くないかまたは両方だとすると「それはプロセスイングだということはない」ということは真実である; int4 & int5 -> hypothesis; __PROVED__
事実1: もしこの成鳥が謝罪すらないならあのディベートは謝罪すかもしくは変化し易い
事実2: もし仮になにがしかの物は謝罪すか変化し易くないかまたは両方ともだとしたらプロセスイングでない
事実3: あのディベートは謝罪すか変化し易い
事実4: もしもあのディベートがプロセスイングだということはないならこの成鳥はプロセスイングであるかあるいは謝罪すらないかあるいは両方である
事実5: もし仮にこの成鳥が伝え易いということはないとするとあのディベートはプロセスイングで羨ましい
事実6: 仮にこの消費者金融会社が給田するということはないしおまけに変乱だということはないとするとこの成鳥は給田しない
事実7: 仮にこの成鳥が謝罪すらないならばあのディベートは謝罪すかまたはそれは変化し易くない
事実8: この成鳥が若ししその上演奏旅行だ
事実9: もし仮にあるものが相関しないとすれば変乱であるということはない
事実10: 仮になにかは生易しくないならばこの消費者金融会社は給田しない
事実11: 「そのドゥーＥＳはいがらっぽくない」ということは本当だ
事実12: そのドゥーＥＳはいがらっぽくないとすると「それは目新しいしかつ相関する」ということは嘘である
事実13: この成鳥は伝え易い
事実14: 「この成鳥は羨ましい」ということは事実と異ならない
事実15: もし「なにがしかの物は謝罪す」ということは事実だとすると「伝え易くなくてそれは羨ましいということはない」ということは間違いだ
事実16: 変化し易くない物はプロセスイングだということはない
事実17: 仮にあのディベートは変化し易くないとしたらプロセスイングだということはない
事実18: この成鳥が給田しないとすればそれは謝罪すしさらに変化し易い
事実19: もしも「あのシングルカムは飛行機らしくない」ということは本当であるならそれは集め易くないしそれにそれは連動しない
事実20: もしこの消費者金融会社が伝え易くないがしかし変化し易いならこの成鳥は伝え易くない
事実21: 仮に何らかのものが羨ましくて加えて伝え易いならば謝罪すらない
事実22: あのシングルカムは飛行機らしくない
事実23: その官女は変化し易いしまた固い
事実24: 仮にあのシングルカムが集め易くないしそれが連動しないとしたらそれは生易しくない

仮説: あのディベートはプロセスイングでない
1. 事実14と事実13から、推論1: "この成鳥は羨ましいしその上伝え易い"が導かれる
2. 事実21から、推論2: "この成鳥は羨ましいしそれに伝え易いならばそれは謝罪すらない"が導かれる
3. 推論1と推論2から、推論3: "この成鳥は謝罪すらない"が導かれる
4. 推論3と事実7から、推論4: "あのディベートは謝罪すかまたは変化し易いということはない"が導かれる
5. 事実2から、推論5: "仮にあのディベートは謝罪すかまたは変化し易くないかまたは両方だとすると「それはプロセスイングだということはない」ということは真実である"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。