この弘安大田文は御招待頂く
fact1: その総代は侵入し易いけど沈着しない fact2: もし何らかのものが御招待頂かないとすればそれはめでたしし吹ける fact3: その総代が侵入し易いがしかし沈着しないならばこの弘安大田文は沈着する fact4: 何らかのものは吹けるしそれにめでたしとすると御招待頂かない fact5: 仮にそのサヴィニー不当利得論が内陸国であるならばこの弘安大田文は内陸国である fact6: もしも何かは沈着するとすればそれは吹ける fact7: 仮にこの光速はめでたしとすれば「沈着する」ということは成り立つ fact8: そのサヴィニー不当利得論は内陸国であるか若者らしいかもしくは両方だ fact9: もしこのエコロジーが内陸国ならば堅苦しい fact10: もし仮に何かは内陸国だとしたらそれはめでたし fact11: もしそのサヴィニー不当利得論が若者らしいとしたらこの弘安大田文は内陸国だ
fact6 -> int1: 「もし仮にこの弘安大田文が沈着するならこの弘安大田文は吹ける」ということは本当である; fact1 & fact3 -> int2: この弘安大田文は沈着する; int1 & int2 -> int3: この弘安大田文は吹ける; fact11 & fact8 & fact5 -> int4: 「この弘安大田文は内陸国である」ということは事実だ; fact10 -> int5: 仮にこの弘安大田文が内陸国だとするとめでたし; int4 & int5 -> int6: この弘安大田文はめでたし; int3 & int6 -> int7: この弘安大田文は吹けるしまためでたし; fact4 -> int8: もしこの弘安大田文は吹けるしめでたしとすればそれは御招待頂くということはない; int7 & int8 -> hypothesis;
この光速は内陸国であるけどキャストでない
fact13 -> int9: もし仮にこの光速が御招待頂かないとするとそれはめでたしし吹ける;
$facts$ = fact1: その総代は侵入し易いけど沈着しない fact2: もし何らかのものが御招待頂かないとすればそれはめでたしし吹ける fact3: その総代が侵入し易いがしかし沈着しないならばこの弘安大田文は沈着する fact4: 何らかのものは吹けるしそれにめでたしとすると御招待頂かない fact5: 仮にそのサヴィニー不当利得論が内陸国であるならばこの弘安大田文は内陸国である fact6: もしも何かは沈着するとすればそれは吹ける fact7: 仮にこの光速はめでたしとすれば「沈着する」ということは成り立つ fact8: そのサヴィニー不当利得論は内陸国であるか若者らしいかもしくは両方だ fact9: もしこのエコロジーが内陸国ならば堅苦しい fact10: もし仮に何かは内陸国だとしたらそれはめでたし fact11: もしそのサヴィニー不当利得論が若者らしいとしたらこの弘安大田文は内陸国だ ; $hypothesis$ = この弘安大田文は御招待頂く ; $proof$ = 
fact6 -> int1: 「もし仮にこの弘安大田文が沈着するならこの弘安大田文は吹ける」ということは本当である; fact1 & fact3 -> int2: この弘安大田文は沈着する; int1 & int2 -> int3: この弘安大田文は吹ける; fact11 & fact8 & fact5 -> int4: 「この弘安大田文は内陸国である」ということは事実だ; fact10 -> int5: 仮にこの弘安大田文が内陸国だとするとめでたし; int4 & int5 -> int6: この弘安大田文はめでたし; int3 & int6 -> int7: この弘安大田文は吹けるしまためでたし; fact4 -> int8: もしこの弘安大田文は吹けるしめでたしとすればそれは御招待頂くということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: その総代は侵入し易いけど沈着しない
事実2: もし何らかのものが御招待頂かないとすればそれはめでたしし吹ける
事実3: その総代が侵入し易いがしかし沈着しないならばこの弘安大田文は沈着する
事実4: 何らかのものは吹けるしそれにめでたしとすると御招待頂かない
事実5: 仮にそのサヴィニー不当利得論が内陸国であるならばこの弘安大田文は内陸国である
事実6: もしも何かは沈着するとすればそれは吹ける
事実7: 仮にこの光速はめでたしとすれば「沈着する」ということは成り立つ
事実8: そのサヴィニー不当利得論は内陸国であるか若者らしいかもしくは両方だ
事実9: もしこのエコロジーが内陸国ならば堅苦しい
事実10: もし仮に何かは内陸国だとしたらそれはめでたし
事実11: もしそのサヴィニー不当利得論が若者らしいとしたらこの弘安大田文は内陸国だ

仮説: この弘安大田文は御招待頂く
1. 事実6から、推論1: "「もし仮にこの弘安大田文が沈着するならこの弘安大田文は吹ける」ということは本当である"が導かれる
2. 事実1と事実3から、推論2: "この弘安大田文は沈着する"が導かれる
3. 推論1と推論2から、推論3: "この弘安大田文は吹ける"が導かれる
4. 事実11と事実8と事実5から、推論4: "「この弘安大田文は内陸国である」ということは事実だ"が導かれる
5. 事実10から、推論5: "仮にこの弘安大田文が内陸国だとするとめでたし"が導かれる
6. 推論4と推論5から、推論6: "この弘安大田文はめでたし"が導かれる
7. 推論3と推論6から、推論7: "この弘安大田文は吹けるしまためでたし"が導かれる
8. 事実4から、推論8: "もしこの弘安大田文は吹けるしめでたしとすればそれは御招待頂くということはない"が導かれる
9. 推論7と推論8から、仮説が否定される

よって、仮説が否定されました。