「仮に引き難くないししかも全草でないとすれば屈伏する」物はある
fact1: あの二週間以上が戦えないしケルト人でないならば引き難い fact2: もしもあるものは引き難くないし全草でないなら屈伏する fact3: その探究者が引き難くないがそれが全草なら屈伏する fact4: もし仮に何らかのものが引き難いがしかし全草でないならば「屈伏する」ということは間違いでない fact5: 「「もし引き難いということはないがしかし全草なら屈伏する」ものはある」ということは確かである fact6: 仮にあの二週間以上は引き難くないしフットライトでないとしたら「懐っこい」ということは真実だ fact7: 引き難くないものが全草だとしたらそれは屈伏する
fact2 -> int1: その探究者は引き難くないしそれに全草でないとするとそれは屈伏する; int1 -> hypothesis;
$facts$ = fact1: あの二週間以上が戦えないしケルト人でないならば引き難い fact2: もしもあるものは引き難くないし全草でないなら屈伏する fact3: その探究者が引き難くないがそれが全草なら屈伏する fact4: もし仮に何らかのものが引き難いがしかし全草でないならば「屈伏する」ということは間違いでない fact5: 「「もし引き難いということはないがしかし全草なら屈伏する」ものはある」ということは確かである fact6: 仮にあの二週間以上は引き難くないしフットライトでないとしたら「懐っこい」ということは真実だ fact7: 引き難くないものが全草だとしたらそれは屈伏する ; $hypothesis$ = 「仮に引き難くないししかも全草でないとすれば屈伏する」物はある ; $proof$ = 
fact2 -> int1: その探究者は引き難くないしそれに全草でないとするとそれは屈伏する; int1 -> hypothesis; __PROVED__
事実1: あの二週間以上が戦えないしケルト人でないならば引き難い
事実2: もしもあるものは引き難くないし全草でないなら屈伏する
事実3: その探究者が引き難くないがそれが全草なら屈伏する
事実4: もし仮に何らかのものが引き難いがしかし全草でないならば「屈伏する」ということは間違いでない
事実5: 「「もし引き難いということはないがしかし全草なら屈伏する」ものはある」ということは確かである
事実6: 仮にあの二週間以上は引き難くないしフットライトでないとしたら「懐っこい」ということは真実だ
事実7: 引き難くないものが全草だとしたらそれは屈伏する

仮説: 「仮に引き難くないししかも全草でないとすれば屈伏する」物はある
1. 事実2から、推論1: "その探究者は引き難くないしそれに全草でないとするとそれは屈伏する"が導かれる
2. 推論1から、仮説が導かれる

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