あの大掃除は差し支えるしかつ反吐である
fact1: ある物は狩猟採集社会でないならば「「差し支えるし更に反吐である」ということは成り立つ」ということは成り立たない fact2: その天日塩は新聞・雑誌である fact3: もしもその天日塩は狩猟採集社会ならば「「あの大掃除は狩猟採集社会でないけれど二線コマンドである」ということは成り立つ」ということは誤っている fact4: もしも「あの大掃除は人懐っこくないしおまけに注文致さない」ということは成り立たないとしたら反吐だ fact5: 「あの大掃除は人懐っこくないし注文致さない」ということは間違っている fact6: 「あの大掃除は狩猟採集社会でない一方で二線コマンドである」ということは間違いだとすれば差し支える fact7: もし仮に新聞・雑誌は二線コマンドでないとすると狩猟採集社会である fact8: もしもこのＰＣＴは反吐でないとしたらそれは差し支えない fact9: 「その天日塩は狩猟採集社会でない一方でそれは差し支える」ということは正しいということはない fact10: その天日塩は狩猟採集社会でその上それは新聞・雑誌だ fact11: 仮にあの大掃除が狩猟採集社会だとするとそれは差し支える fact12: 仮に「あの大掃除は注文致す」ということは誤っていないとしたら反吐である fact13: 狩猟採集社会は人懐っこい
fact10 -> int1: その天日塩は狩猟採集社会である; int1 & fact3 -> int2: 「あの大掃除は狩猟採集社会でない一方で二線コマンドだ」ということは成り立たない; int2 & fact6 -> int3: あの大掃除は差し支える; fact4 & fact5 -> int4: あの大掃除は反吐である; int3 & int4 -> hypothesis;
「このＰＣＴは人懐っこい」ということは正しい
fact15 -> int5: このＰＣＴが狩猟採集社会だとすればそれは人懐っこい; fact14 -> int6: 仮にこのＰＣＴが新聞・雑誌だけれどそれは二線コマンドでないとしたらそれは狩猟採集社会だ;
$facts$ = fact1: ある物は狩猟採集社会でないならば「「差し支えるし更に反吐である」ということは成り立つ」ということは成り立たない fact2: その天日塩は新聞・雑誌である fact3: もしもその天日塩は狩猟採集社会ならば「「あの大掃除は狩猟採集社会でないけれど二線コマンドである」ということは成り立つ」ということは誤っている fact4: もしも「あの大掃除は人懐っこくないしおまけに注文致さない」ということは成り立たないとしたら反吐だ fact5: 「あの大掃除は人懐っこくないし注文致さない」ということは間違っている fact6: 「あの大掃除は狩猟採集社会でない一方で二線コマンドである」ということは間違いだとすれば差し支える fact7: もし仮に新聞・雑誌は二線コマンドでないとすると狩猟採集社会である fact8: もしもこのＰＣＴは反吐でないとしたらそれは差し支えない fact9: 「その天日塩は狩猟採集社会でない一方でそれは差し支える」ということは正しいということはない fact10: その天日塩は狩猟採集社会でその上それは新聞・雑誌だ fact11: 仮にあの大掃除が狩猟採集社会だとするとそれは差し支える fact12: 仮に「あの大掃除は注文致す」ということは誤っていないとしたら反吐である fact13: 狩猟採集社会は人懐っこい ; $hypothesis$ = あの大掃除は差し支えるしかつ反吐である ; $proof$ = 
fact10 -> int1: その天日塩は狩猟採集社会である; int1 & fact3 -> int2: 「あの大掃除は狩猟採集社会でない一方で二線コマンドだ」ということは成り立たない; int2 & fact6 -> int3: あの大掃除は差し支える; fact4 & fact5 -> int4: あの大掃除は反吐である; int3 & int4 -> hypothesis; __PROVED__
事実1: ある物は狩猟採集社会でないならば「「差し支えるし更に反吐である」ということは成り立つ」ということは成り立たない
事実2: その天日塩は新聞・雑誌である
事実3: もしもその天日塩は狩猟採集社会ならば「「あの大掃除は狩猟採集社会でないけれど二線コマンドである」ということは成り立つ」ということは誤っている
事実4: もしも「あの大掃除は人懐っこくないしおまけに注文致さない」ということは成り立たないとしたら反吐だ
事実5: 「あの大掃除は人懐っこくないし注文致さない」ということは間違っている
事実6: 「あの大掃除は狩猟採集社会でない一方で二線コマンドである」ということは間違いだとすれば差し支える
事実7: もし仮に新聞・雑誌は二線コマンドでないとすると狩猟採集社会である
事実8: もしもこのＰＣＴは反吐でないとしたらそれは差し支えない
事実9: 「その天日塩は狩猟採集社会でない一方でそれは差し支える」ということは正しいということはない
事実10: その天日塩は狩猟採集社会でその上それは新聞・雑誌だ
事実11: 仮にあの大掃除が狩猟採集社会だとするとそれは差し支える
事実12: 仮に「あの大掃除は注文致す」ということは誤っていないとしたら反吐である
事実13: 狩猟採集社会は人懐っこい

仮説: あの大掃除は差し支えるしかつ反吐である
1. 事実10から、推論1: "その天日塩は狩猟採集社会である"が導かれる
2. 推論1と事実3から、推論2: "「あの大掃除は狩猟採集社会でない一方で二線コマンドだ」ということは成り立たない"が導かれる
3. 推論2と事実6から、推論3: "あの大掃除は差し支える"が導かれる
4. 事実4と事実5から、推論4: "あの大掃除は反吐である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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