この強健は行く
fact1: この強健はキルシュでないがしかし行く fact2: 仮に何らかの物が行くしさらにそれが儚いとしたらキルシュでない fact3: 仮に何かは実施するということはないとしたらそれは行くしかつそれは儚い fact4: もし仮にあの保護剤軟膏は儚くないならば「この強健は行く一方でキルシュでない」ということは成り立たない fact5: あの保護剤軟膏が笑わなくて乱れ始めないとしたらこの強健は見逃せる fact6: 「この切っ先はキルシュだ」ということは成り立つ fact7: あの保護剤軟膏は狭苦しい fact8: あの役員は行く fact9: 仮に「とある物は行く一方でキルシュでない」ということは成り立たないとすればそれは行くということはない fact10: この強健は遣り辛い fact11: 仮になんらかの物はキルシュでないならば着易くないがしかし急登だ fact12: もし仮にあの保護剤軟膏が狭苦しいとすればそれは笑わなくてまた乱れ始めない
fact1 -> hypothesis;
fact1 -> hypothesis;
この強健は行かない
fact14 -> int1: もしも「「この強健は行くけどキルシュでない」ということは事実と異なる」ということは成り立つならそれは行くない;
$facts$ = fact1: この強健はキルシュでないがしかし行く fact2: 仮に何らかの物が行くしさらにそれが儚いとしたらキルシュでない fact3: 仮に何かは実施するということはないとしたらそれは行くしかつそれは儚い fact4: もし仮にあの保護剤軟膏は儚くないならば「この強健は行く一方でキルシュでない」ということは成り立たない fact5: あの保護剤軟膏が笑わなくて乱れ始めないとしたらこの強健は見逃せる fact6: 「この切っ先はキルシュだ」ということは成り立つ fact7: あの保護剤軟膏は狭苦しい fact8: あの役員は行く fact9: 仮に「とある物は行く一方でキルシュでない」ということは成り立たないとすればそれは行くということはない fact10: この強健は遣り辛い fact11: 仮になんらかの物はキルシュでないならば着易くないがしかし急登だ fact12: もし仮にあの保護剤軟膏が狭苦しいとすればそれは笑わなくてまた乱れ始めない ; $hypothesis$ = この強健は行く ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この強健はキルシュでないがしかし行く
事実2: 仮に何らかの物が行くしさらにそれが儚いとしたらキルシュでない
事実3: 仮に何かは実施するということはないとしたらそれは行くしかつそれは儚い
事実4: もし仮にあの保護剤軟膏は儚くないならば「この強健は行く一方でキルシュでない」ということは成り立たない
事実5: あの保護剤軟膏が笑わなくて乱れ始めないとしたらこの強健は見逃せる
事実6: 「この切っ先はキルシュだ」ということは成り立つ
事実7: あの保護剤軟膏は狭苦しい
事実8: あの役員は行く
事実9: 仮に「とある物は行く一方でキルシュでない」ということは成り立たないとすればそれは行くということはない
事実10: この強健は遣り辛い
事実11: 仮になんらかの物はキルシュでないならば着易くないがしかし急登だ
事実12: もし仮にあの保護剤軟膏が狭苦しいとすればそれは笑わなくてまた乱れ始めない

仮説: この強健は行く
1. 事実1から、仮説が導かれる

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