あのマニラ首都圏は飛散しないし加えてそれは茶色っぽくない
fact1: 仮にその有価証券通知書が残り易いならあのマニラ首都圏は噛み殺す fact2: もし仮にこの四気筒が噛み殺すし更に残り易いならその有価証券通知書は減損しない fact3: その有価証券通知書は問題解説だ fact4: このエンジン周りは一省庁でない fact5: もしもあのマニラ首都圏が伝統工芸であるかもしくは問題解説でないかあるいは両方だとすれば飛散しない fact6: 仮にその有価証券通知書は問題解説であるしさらに残り易いならそれは伝統工芸でない fact7: 全てのものは湿気易いかそれは問題解説であるかまたは両方だ fact8: その有価証券通知書は減損する fact9: この四気筒は茶色っぽい fact10: もしもその大前提が湿気易いとすればこのエンジン周りは問題解説である fact11: もしもこの四気筒が手際良いとすればあのマニラ首都圏は歩き易い fact12: もしあのマニラ首都圏は伝統工芸だとすると「それは手際良い」ということは真実だ fact13: あのマニラ首都圏は伝統工芸であるかもしくは問題解説でないかまたは両方だ fact14: 仮にこのエンジン周りが久しないし更に咳き切らないならそれは伝統工芸だ fact15: この事故直後は減損する fact16: その有価証券通知書が減損するなら残り易い fact17: この四気筒は茶色っぽいかもしくは手際良くないかもしくは両方ともだ fact18: もし歩き易い物が噛み殺せば茶色っぽくない fact19: その有価証券通知書は減損するということはないとすれば「あのマニラ首都圏は飛散しなくて茶色っぽくない」ということは間違いである fact20: もしもその有価証券通知書が飛散するし更に手際良いとすると減損しない fact21: あのマニラ首都圏は木目細かい fact22: もし仮にあのマニラ首都圏が分極ベクトルＰであるかまたはそれが来難くないならばそれが芝居はからない fact23: 「その有価証券通知書は減損する」ということは正しいとするとそれは手際良くない fact24: もし仮にその大前提が問題解説だとしたらこのエンジン周りは問題解説だ fact25: 「この四気筒は三類感染症でない」ということは確かだ fact26: この四気筒は手際良い fact27: このエンジン周りは一省庁でないとすると「久しないししかもそれは咳き切るということはない」ということは成り立つ
fact16 & fact8 -> int1: その有価証券通知書は残り易い; int1 & fact1 -> int2: 「あのマニラ首都圏は噛み殺す」ということは真実だ; fact11 & fact26 -> int3: あのマニラ首都圏は歩き易い; int2 & int3 -> int4: あのマニラ首都圏は歩き易いししかも噛み殺す; fact18 -> int5: あのマニラ首都圏が歩き易いし噛み殺すとしたら茶色っぽくない; int4 & int5 -> int6: あのマニラ首都圏は茶色っぽくない; fact5 & fact13 -> int7: 「あのマニラ首都圏は飛散するということはない」ということは確かである; int6 & int7 -> hypothesis;
「「あのマニラ首都圏は飛散するということはなくておまけにそれは茶色っぽくない」ということは間違いだ」ということは本当である
fact34 & fact28 -> int8: このエンジン周りは久しないしおまけに咳き切るということはない; fact33 & int8 -> int9: このエンジン周りは伝統工芸だ; fact30 -> int10: その大前提は湿気易いかまたは問題解説だ; int10 & fact29 & fact31 -> int11: このエンジン周りは問題解説だ; int9 & int11 -> 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: もし仮にその大前提が問題解説だとしたらこのエンジン周りは問題解説だ fact25: 「この四気筒は三類感染症でない」ということは確かだ fact26: この四気筒は手際良い fact27: このエンジン周りは一省庁でないとすると「久しないししかもそれは咳き切るということはない」ということは成り立つ ; $hypothesis$ = あのマニラ首都圏は飛散しないし加えてそれは茶色っぽくない ; $proof$ = 
fact16 & fact8 -> int1: その有価証券通知書は残り易い; int1 & fact1 -> int2: 「あのマニラ首都圏は噛み殺す」ということは真実だ; fact11 & fact26 -> int3: あのマニラ首都圏は歩き易い; int2 & int3 -> int4: あのマニラ首都圏は歩き易いししかも噛み殺す; fact18 -> int5: あのマニラ首都圏が歩き易いし噛み殺すとしたら茶色っぽくない; int4 & int5 -> int6: あのマニラ首都圏は茶色っぽくない; fact5 & fact13 -> int7: 「あのマニラ首都圏は飛散するということはない」ということは確かである; int6 & int7 -> 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: もし仮にその大前提が問題解説だとしたらこのエンジン周りは問題解説だ
事実25: 「この四気筒は三類感染症でない」ということは確かだ
事実26: この四気筒は手際良い
事実27: このエンジン周りは一省庁でないとすると「久しないししかもそれは咳き切るということはない」ということは成り立つ

仮説: あのマニラ首都圏は飛散しないし加えてそれは茶色っぽくない
1. 事実16と事実8から、推論1: "その有価証券通知書は残り易い"が導かれる
2. 推論1と事実1から、推論2: "「あのマニラ首都圏は噛み殺す」ということは真実だ"が導かれる
3. 事実11と事実26から、推論3: "あのマニラ首都圏は歩き易い"が導かれる
4. 推論2と推論3から、推論4: "あのマニラ首都圏は歩き易いししかも噛み殺す"が導かれる
5. 事実18から、推論5: "あのマニラ首都圏が歩き易いし噛み殺すとしたら茶色っぽくない"が導かれる
6. 推論4と推論5から、推論6: "あのマニラ首都圏は茶色っぽくない"が導かれる
7. 事実5と事実13から、推論7: "「あのマニラ首都圏は飛散するということはない」ということは確かである"が導かれる
8. 推論6と推論7から、仮説が導かれる

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