そのぺてん師はダットさんだ
fact1: そのぺてん師はダットさんだ fact2: 仮にそのぺてん師が固しならその遣唐使はナイロンコートワイヤーでない fact3: 「もしも何かは天使らしいならば固し」ということは確かだ fact4: このカッターシャツはダットさんだ fact5: そのぺてん師は呪わしい fact6: もし仮に「なにがしかのものは手広いし気恥ずかしい」ということは間違っているならそれは気恥ずかしくない fact7: もし仮に「とある物はナイロンコートワイヤーでない」ということは確かだとするとそれはダットさんであるし加えてそれは喋り続ける fact8: もし仮にこの酸化型は秘匿であるということはないとすると「そのプロテクトは手広くてかつ気恥ずかしい」ということは誤っている fact9: 仮にそのプロテクトが気恥ずかしくないとすればそのぺてん師は天使らしいしそれは調査自体である
fact1 -> hypothesis;
fact1 -> hypothesis;
その遣唐使はダットさんだ
fact10 -> int1: 「その遣唐使はナイロンコートワイヤーだということはない」ということは正しいとしたらダットさんであるし加えてそれは喋り続ける; fact15 -> int2: もしもそのぺてん師が天使らしいなら固し; fact14 -> int3: もしも「そのプロテクトは手広くて更に気恥ずかしい」ということは成り立たないならば気恥ずかしいということはない;
$facts$ = fact1: そのぺてん師はダットさんだ fact2: 仮にそのぺてん師が固しならその遣唐使はナイロンコートワイヤーでない fact3: 「もしも何かは天使らしいならば固し」ということは確かだ fact4: このカッターシャツはダットさんだ fact5: そのぺてん師は呪わしい fact6: もし仮に「なにがしかのものは手広いし気恥ずかしい」ということは間違っているならそれは気恥ずかしくない fact7: もし仮に「とある物はナイロンコートワイヤーでない」ということは確かだとするとそれはダットさんであるし加えてそれは喋り続ける fact8: もし仮にこの酸化型は秘匿であるということはないとすると「そのプロテクトは手広くてかつ気恥ずかしい」ということは誤っている fact9: 仮にそのプロテクトが気恥ずかしくないとすればそのぺてん師は天使らしいしそれは調査自体である ; $hypothesis$ = そのぺてん師はダットさんだ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: そのぺてん師はダットさんだ
事実2: 仮にそのぺてん師が固しならその遣唐使はナイロンコートワイヤーでない
事実3: 「もしも何かは天使らしいならば固し」ということは確かだ
事実4: このカッターシャツはダットさんだ
事実5: そのぺてん師は呪わしい
事実6: もし仮に「なにがしかのものは手広いし気恥ずかしい」ということは間違っているならそれは気恥ずかしくない
事実7: もし仮に「とある物はナイロンコートワイヤーでない」ということは確かだとするとそれはダットさんであるし加えてそれは喋り続ける
事実8: もし仮にこの酸化型は秘匿であるということはないとすると「そのプロテクトは手広くてかつ気恥ずかしい」ということは誤っている
事実9: 仮にそのプロテクトが気恥ずかしくないとすればそのぺてん師は天使らしいしそれは調査自体である

仮説: そのぺてん師はダットさんだ
1. 事実1から、仮説が導かれる

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