あの火星人は追求す
fact1: 何かは堪り過ぎるとしたらそれは埃っぽい fact2: あのレジュメが内蔵すればそれは資本会社であるかあるいは汚れ易いということはないか両方だ fact3: 不規則性は素晴らしい fact4: 指しゃぶりは追求す fact5: 「なにがしかのものは追求すしかつ恋い焦がれる」ということは誤っているなら「追求すということはない」ということは確かだ fact6: あの火星人が受け入れられ易いならそれは来す fact7: あの火星人は指しゃぶりであるししかも恋い焦がれる fact8: あのレジュメは内蔵する fact9: 「あのレジュメは不規則性だ」ということは本当だ fact10: もしもあのレジュメが三番機だとすればこの赤岳鉱泉はセトキシジムである一方でそれは御濃くない fact11: あの火星人が娶るなら追求す fact12: もしなにがしかのものがタブー視するということはないとしたら三番機であるししょである fact13: あの落とし物は追求す fact14: もしもこの赤岳鉱泉がセトキシジムだがしかし御濃くないとしたらあの火星人はセトキシジムでない fact15: もし仮にあのレジュメは資本会社であるとすれば「世界人類全体である」ということは誤りでない fact16: もしも素晴らしいものは世界人類全体であるとするとタブー視しない fact17: もし仮にある物がセトキシジムでないとしたら指しゃぶりでないし天狗らしいということはない fact18: あの火星人は恋い焦がれる fact19: もし仮にある物は指しゃぶりでないならば「追求すし加えて恋い焦がれる」ということは成り立たない
fact7 -> int1: あの火星人は指しゃぶりである; fact4 -> int2: 仮にあの火星人は指しゃぶりであるならそれは追求す; int1 & int2 -> hypothesis;
あの火星人は追求すらない
fact23 -> int3: もしも「あの火星人は追求すししかもそれは恋い焦がれる」ということは事実と異なるとすれば追求すらない; fact30 -> int4: もしもあの火星人は指しゃぶりでないならば「追求すしその上恋い焦がれる」ということは成り立たない; fact22 -> int5: もし仮にあの火星人はセトキシジムでないなら指しゃぶりでなくて天狗らしくない; fact21 -> int6: もし仮にあのレジュメがタブー視しないとすると三番機でそれにしょだ; fact28 -> int7: もし仮にあのレジュメは素晴らしくてまた世界人類全体だとしたらそれはタブー視しない; fact27 -> int8: 「あのレジュメは不規則性である」ということは事実だとすれば「素晴らしい」ということは正しい; int8 & fact29 -> int9: あのレジュメは素晴らしい; fact25 & fact31 -> int10: あのレジュメは資本会社であるかもしくは汚れ易くないかまたは両方である;
$facts$ = fact1: 何かは堪り過ぎるとしたらそれは埃っぽい fact2: あのレジュメが内蔵すればそれは資本会社であるかあるいは汚れ易いということはないか両方だ fact3: 不規則性は素晴らしい fact4: 指しゃぶりは追求す fact5: 「なにがしかのものは追求すしかつ恋い焦がれる」ということは誤っているなら「追求すということはない」ということは確かだ fact6: あの火星人が受け入れられ易いならそれは来す fact7: あの火星人は指しゃぶりであるししかも恋い焦がれる fact8: あのレジュメは内蔵する fact9: 「あのレジュメは不規則性だ」ということは本当だ fact10: もしもあのレジュメが三番機だとすればこの赤岳鉱泉はセトキシジムである一方でそれは御濃くない fact11: あの火星人が娶るなら追求す fact12: もしなにがしかのものがタブー視するということはないとしたら三番機であるししょである fact13: あの落とし物は追求す fact14: もしもこの赤岳鉱泉がセトキシジムだがしかし御濃くないとしたらあの火星人はセトキシジムでない fact15: もし仮にあのレジュメは資本会社であるとすれば「世界人類全体である」ということは誤りでない fact16: もしも素晴らしいものは世界人類全体であるとするとタブー視しない fact17: もし仮にある物がセトキシジムでないとしたら指しゃぶりでないし天狗らしいということはない fact18: あの火星人は恋い焦がれる fact19: もし仮にある物は指しゃぶりでないならば「追求すし加えて恋い焦がれる」ということは成り立たない ; $hypothesis$ = あの火星人は追求す ; $proof$ = 
fact7 -> int1: あの火星人は指しゃぶりである; fact4 -> int2: 仮にあの火星人は指しゃぶりであるならそれは追求す; int1 & int2 -> hypothesis; __PROVED__
事実1: 何かは堪り過ぎるとしたらそれは埃っぽい
事実2: あのレジュメが内蔵すればそれは資本会社であるかあるいは汚れ易いということはないか両方だ
事実3: 不規則性は素晴らしい
事実4: 指しゃぶりは追求す
事実5: 「なにがしかのものは追求すしかつ恋い焦がれる」ということは誤っているなら「追求すということはない」ということは確かだ
事実6: あの火星人が受け入れられ易いならそれは来す
事実7: あの火星人は指しゃぶりであるししかも恋い焦がれる
事実8: あのレジュメは内蔵する
事実9: 「あのレジュメは不規則性だ」ということは本当だ
事実10: もしもあのレジュメが三番機だとすればこの赤岳鉱泉はセトキシジムである一方でそれは御濃くない
事実11: あの火星人が娶るなら追求す
事実12: もしなにがしかのものがタブー視するということはないとしたら三番機であるししょである
事実13: あの落とし物は追求す
事実14: もしもこの赤岳鉱泉がセトキシジムだがしかし御濃くないとしたらあの火星人はセトキシジムでない
事実15: もし仮にあのレジュメは資本会社であるとすれば「世界人類全体である」ということは誤りでない
事実16: もしも素晴らしいものは世界人類全体であるとするとタブー視しない
事実17: もし仮にある物がセトキシジムでないとしたら指しゃぶりでないし天狗らしいということはない
事実18: あの火星人は恋い焦がれる
事実19: もし仮にある物は指しゃぶりでないならば「追求すし加えて恋い焦がれる」ということは成り立たない

仮説: あの火星人は追求す
1. 事実7から、推論1: "あの火星人は指しゃぶりである"が導かれる
2. 事実4から、推論2: "仮にあの火星人は指しゃぶりであるならそれは追求す"が導かれる
3. 推論1と推論2から、仮説が導かれる

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