その宗派別はチベット語でない一方で胡散臭い
fact1: 仮にその宗派別が胡散臭いとするとそれは後追いしない一方で仄暗い fact2: 仮に何かは八十年代半ばであるならば指圧する fact3: 何かは指圧するとするとチベット語でないし胡散臭い fact4: あの転換請求はチベット語だ fact5: 堪り易いものは八十年代半ばだないけれどでかい fact6: その宗派別が指圧すればそれは胡散臭い fact7: もしもあの転換請求は茹で始めるなら「その宗派別はチベット語でないがそれは胡散臭い」ということは嘘である fact8: 「その宗派別は異形二量体である」ということは確かだ fact9: その断食方法は落ち込まないがしかし胡散臭い fact10: このＢ土地は茹で始めないけど馴れ馴れしい fact11: 「仮にあの転換請求がチベット語でそれが八十年代半ばであるとするとその宗派別は茹で始めない」ということは成り立つ fact12: とあるものが指圧するなら茹で始める fact13: もしもなにがしかの物は茹で始めないとするとそれは行為する fact14: もしとある物が指圧すれば胡散臭い fact15: その宗派別は胡散臭い fact16: その宗派別は茹で始めるしそれは指圧する fact17: 仮にその宗派別が仕出すとするとしょっぱいということはないがしかし指圧する fact18: その宗派別は茹で始める
fact16 -> int1: 「その宗派別は指圧する」ということは確かだ; fact3 -> int2: もしその宗派別が指圧するとするとそれはチベット語であるということはなくてそれにそれは胡散臭い; int1 & int2 -> hypothesis;
fact16 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> (¬{D}{a} & {C}{a}); int1 & int2 -> hypothesis;
「その宗派別はチベット語だということはないが胡散臭い」ということは事実と異なる
fact21 -> int3: もしあの転換請求は指圧するとすれば「茹で始める」ということは本当だ; fact20 -> int4: もし仮にあの転換請求は八十年代半ばであるならば「指圧する」ということは成り立つ;
$facts$ = fact1: 仮にその宗派別が胡散臭いとするとそれは後追いしない一方で仄暗い fact2: 仮に何かは八十年代半ばであるならば指圧する fact3: 何かは指圧するとするとチベット語でないし胡散臭い fact4: あの転換請求はチベット語だ fact5: 堪り易いものは八十年代半ばだないけれどでかい fact6: その宗派別が指圧すればそれは胡散臭い fact7: もしもあの転換請求は茹で始めるなら「その宗派別はチベット語でないがそれは胡散臭い」ということは嘘である fact8: 「その宗派別は異形二量体である」ということは確かだ fact9: その断食方法は落ち込まないがしかし胡散臭い fact10: このＢ土地は茹で始めないけど馴れ馴れしい fact11: 「仮にあの転換請求がチベット語でそれが八十年代半ばであるとするとその宗派別は茹で始めない」ということは成り立つ fact12: とあるものが指圧するなら茹で始める fact13: もしもなにがしかの物は茹で始めないとするとそれは行為する fact14: もしとある物が指圧すれば胡散臭い fact15: その宗派別は胡散臭い fact16: その宗派別は茹で始めるしそれは指圧する fact17: 仮にその宗派別が仕出すとするとしょっぱいということはないがしかし指圧する fact18: その宗派別は茹で始める ; $hypothesis$ = その宗派別はチベット語でない一方で胡散臭い ; $proof$ = 
fact16 -> int1: 「その宗派別は指圧する」ということは確かだ; fact3 -> int2: もしその宗派別が指圧するとするとそれはチベット語であるということはなくてそれにそれは胡散臭い; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にその宗派別が胡散臭いとするとそれは後追いしない一方で仄暗い
事実2: 仮に何かは八十年代半ばであるならば指圧する
事実3: 何かは指圧するとするとチベット語でないし胡散臭い
事実4: あの転換請求はチベット語だ
事実5: 堪り易いものは八十年代半ばだないけれどでかい
事実6: その宗派別が指圧すればそれは胡散臭い
事実7: もしもあの転換請求は茹で始めるなら「その宗派別はチベット語でないがそれは胡散臭い」ということは嘘である
事実8: 「その宗派別は異形二量体である」ということは確かだ
事実9: その断食方法は落ち込まないがしかし胡散臭い
事実10: このＢ土地は茹で始めないけど馴れ馴れしい
事実11: 「仮にあの転換請求がチベット語でそれが八十年代半ばであるとするとその宗派別は茹で始めない」ということは成り立つ
事実12: とあるものが指圧するなら茹で始める
事実13: もしもなにがしかの物は茹で始めないとするとそれは行為する
事実14: もしとある物が指圧すれば胡散臭い
事実15: その宗派別は胡散臭い
事実16: その宗派別は茹で始めるしそれは指圧する
事実17: 仮にその宗派別が仕出すとするとしょっぱいということはないがしかし指圧する
事実18: その宗派別は茹で始める

仮説: その宗派別はチベット語でない一方で胡散臭い
1. 事実16から、推論1: "「その宗派別は指圧する」ということは確かだ"が導かれる
2. 事実3から、推論2: "もしその宗派別が指圧するとするとそれはチベット語であるということはなくてそれにそれは胡散臭い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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