あのシグナル伝達分子は再仕上げするし加えて思案する
fact1: その御使者は程良くないかあるいはそれは是非しない fact2: 「その現物出資はデータベース化する」ということは事実であるとすれば「あの気は平均勤続年数だがしかしそれは指圧するということはない」ということは間違っている fact3: もしなんらかの物が水素結合でないとすればそれは輜重輸卒でなくて迷信深くない fact4: 「なにがしかの物は歩むということはない」ということは本当であるなら思案する fact5: 「歩むが粘っこくない」ものはある fact6: もし仮にあの気は粘っこくないとすると「この樒は歩まないが面目無い」ということは誤っている fact7: もし仮に「何らかのものは平均勤続年数だがそれは指圧しない」ということは偽なら粘っこくない fact8: もしも何かは座乗すれば「データベース化する」ということは本当である fact9: もし「「歩むししかも粘っこくない」ということは成り立つということはない」ものがあるとするとあのシグナル伝達分子は歩まない fact10: あのシグナル伝達分子は思案する fact11: 仮に「粘っこい」物があるとするとあのシグナル伝達分子は歩まない fact12: 「「歩む一方で粘っこくない」ということは成り立たない」物はある fact13: もしもその御気持ちが輜重輸卒であるということはないし迷信深いということはないとしたらこの炉税は町会事務所だ fact14: その御使者が程良くないかもしくは是非しないかあるいはどちらもであるならそれは程良いということはない fact15: 仮にある物が歩まないとしたら再仕上げするしかつ思案する fact16: もしその御使者は程良くないなら「「その漉し餡はプリセットしないかまたは入手し易くないかまたは両方ともだ」ということは成り立たない」ということは偽でない fact17: もし「「この炉税は座乗するがしかし窓越しでない」ということは誤りだ」ということは確かなら「その現物出資は座乗する」ということは本当だ fact18: もし仮にあのシグナル伝達分子が歩むということはないとすれば思案する fact19: 仮に「何らかのものは歩むということはないけど面目無い」ということは誤りだとするとそれは再仕上げしない fact20: もしも「その漉し餡はプリセットしないかあるいはそれは入手し易くない」ということは嘘だとするとその御気持ちは水素結合でない fact21: なにがしかのものは町会事務所であるとすれば「それは座乗するけれど窓越しだということはない」ということは確かでない fact22: もしそのψＯＤＤが粘っこくないならばセフティ・レバーであるしその上それは面目無い
fact15 -> int1: 仮にあのシグナル伝達分子が歩まないならそれは再仕上げするしさらにそれは思案する; fact9 & fact12 -> int2: あのシグナル伝達分子は歩まない; int1 & int2 -> hypothesis;
fact15 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); fact9 & fact12 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「あのシグナル伝達分子は再仕上げするしまた思案する」ということは成り立たない
fact32 -> int3: 仮に「この樒は歩むということはないけど面目無い」ということは成り立たないならそれは再仕上げしない; fact33 -> int4: 「「あの気は平均勤続年数であるけど指圧しない」ということは嘘だ」ということは嘘でないならば粘っこくない; fact35 -> int5: その現物出資が座乗するとするとそれはデータベース化する; fact29 -> int6: この炉税は町会事務所だとすれば「座乗する一方で窓越しでない」ということは誤りだ; fact26 -> int7: もしその御気持ちは水素結合でないとすると輜重輸卒だということはないし迷信深くない; fact27 & fact34 -> int8: その御使者は程良くない; fact30 & int8 -> int9: 「「その漉し餡はプリセットしないかあるいは入手し易いということはないかまたは両方だ」ということは偽だ」ということは成り立つ; fact28 & int9 -> int10: 「その御気持ちは水素結合でない」ということは成り立つ; int7 & int10 -> int11: その御気持ちは輜重輸卒でないし加えて迷信深くない; fact23 & int11 -> int12: この炉税は町会事務所である; int6 & int12 -> int13: 「この炉税は座乗するけれど窓越しでない」ということは成り立たない; fact24 & int13 -> int14: その現物出資は座乗する; int5 & int14 -> int15: その現物出資はデータベース化する; fact25 & int15 -> int16: 「あの気は平均勤続年数だ一方でそれは指圧しない」ということは誤りだ; int4 & int16 -> int17: あの気は粘っこいということはない; fact31 & int17 -> int18: 「この樒は歩むということはないけれど面目無い」ということは間違いだ; int3 & int18 -> int19: この樒は再仕上げしない; int19 -> int20: 「「再仕上げしない」物はある」ということは正しい;
$facts$ = fact1: その御使者は程良くないかあるいはそれは是非しない fact2: 「その現物出資はデータベース化する」ということは事実であるとすれば「あの気は平均勤続年数だがしかしそれは指圧するということはない」ということは間違っている fact3: もしなんらかの物が水素結合でないとすればそれは輜重輸卒でなくて迷信深くない fact4: 「なにがしかの物は歩むということはない」ということは本当であるなら思案する fact5: 「歩むが粘っこくない」ものはある fact6: もし仮にあの気は粘っこくないとすると「この樒は歩まないが面目無い」ということは誤っている fact7: もし仮に「何らかのものは平均勤続年数だがそれは指圧しない」ということは偽なら粘っこくない fact8: もしも何かは座乗すれば「データベース化する」ということは本当である fact9: もし「「歩むししかも粘っこくない」ということは成り立つということはない」ものがあるとするとあのシグナル伝達分子は歩まない fact10: あのシグナル伝達分子は思案する fact11: 仮に「粘っこい」物があるとするとあのシグナル伝達分子は歩まない fact12: 「「歩む一方で粘っこくない」ということは成り立たない」物はある fact13: もしもその御気持ちが輜重輸卒であるということはないし迷信深いということはないとしたらこの炉税は町会事務所だ fact14: その御使者が程良くないかもしくは是非しないかあるいはどちらもであるならそれは程良いということはない fact15: 仮にある物が歩まないとしたら再仕上げするしかつ思案する fact16: もしその御使者は程良くないなら「「その漉し餡はプリセットしないかまたは入手し易くないかまたは両方ともだ」ということは成り立たない」ということは偽でない fact17: もし「「この炉税は座乗するがしかし窓越しでない」ということは誤りだ」ということは確かなら「その現物出資は座乗する」ということは本当だ fact18: もし仮にあのシグナル伝達分子が歩むということはないとすれば思案する fact19: 仮に「何らかのものは歩むということはないけど面目無い」ということは誤りだとするとそれは再仕上げしない fact20: もしも「その漉し餡はプリセットしないかあるいはそれは入手し易くない」ということは嘘だとするとその御気持ちは水素結合でない fact21: なにがしかのものは町会事務所であるとすれば「それは座乗するけれど窓越しだということはない」ということは確かでない fact22: もしそのψＯＤＤが粘っこくないならばセフティ・レバーであるしその上それは面目無い ; $hypothesis$ = あのシグナル伝達分子は再仕上げするし加えて思案する ; $proof$ = 
fact15 -> int1: 仮にあのシグナル伝達分子が歩まないならそれは再仕上げするしさらにそれは思案する; fact9 & fact12 -> int2: あのシグナル伝達分子は歩まない; int1 & int2 -> hypothesis; __PROVED__
事実1: その御使者は程良くないかあるいはそれは是非しない
事実2: 「その現物出資はデータベース化する」ということは事実であるとすれば「あの気は平均勤続年数だがしかしそれは指圧するということはない」ということは間違っている
事実3: もしなんらかの物が水素結合でないとすればそれは輜重輸卒でなくて迷信深くない
事実4: 「なにがしかの物は歩むということはない」ということは本当であるなら思案する
事実5: 「歩むが粘っこくない」ものはある
事実6: もし仮にあの気は粘っこくないとすると「この樒は歩まないが面目無い」ということは誤っている
事実7: もし仮に「何らかのものは平均勤続年数だがそれは指圧しない」ということは偽なら粘っこくない
事実8: もしも何かは座乗すれば「データベース化する」ということは本当である
事実9: もし「「歩むししかも粘っこくない」ということは成り立つということはない」ものがあるとするとあのシグナル伝達分子は歩まない
事実10: あのシグナル伝達分子は思案する
事実11: 仮に「粘っこい」物があるとするとあのシグナル伝達分子は歩まない
事実12: 「「歩む一方で粘っこくない」ということは成り立たない」物はある
事実13: もしもその御気持ちが輜重輸卒であるということはないし迷信深いということはないとしたらこの炉税は町会事務所だ
事実14: その御使者が程良くないかもしくは是非しないかあるいはどちらもであるならそれは程良いということはない
事実15: 仮にある物が歩まないとしたら再仕上げするしかつ思案する
事実16: もしその御使者は程良くないなら「「その漉し餡はプリセットしないかまたは入手し易くないかまたは両方ともだ」ということは成り立たない」ということは偽でない
事実17: もし「「この炉税は座乗するがしかし窓越しでない」ということは誤りだ」ということは確かなら「その現物出資は座乗する」ということは本当だ
事実18: もし仮にあのシグナル伝達分子が歩むということはないとすれば思案する
事実19: 仮に「何らかのものは歩むということはないけど面目無い」ということは誤りだとするとそれは再仕上げしない
事実20: もしも「その漉し餡はプリセットしないかあるいはそれは入手し易くない」ということは嘘だとするとその御気持ちは水素結合でない
事実21: なにがしかのものは町会事務所であるとすれば「それは座乗するけれど窓越しだということはない」ということは確かでない
事実22: もしそのψＯＤＤが粘っこくないならばセフティ・レバーであるしその上それは面目無い

仮説: あのシグナル伝達分子は再仕上げするし加えて思案する
1. 事実15から、推論1: "仮にあのシグナル伝達分子が歩まないならそれは再仕上げするしさらにそれは思案する"が導かれる
2. 事実9と事実12から、推論2: "あのシグナル伝達分子は歩まない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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