あのワークは表現能力でない
fact1: 吸血しないし更に往復しないというものはない fact2: もしこの語学学校が血腥いがそれは天使らしくないとすると「この巻は読み解く」ということは成り立つ fact3: この語学学校は天使らしくない fact4: 教育相談機関は内省する fact5: 仮になんらかの物が内省するとすればそれは仲違いである fact6: もしこの語学学校が血腥いしそれにそれが天使らしいとしたらこの巻は読み解く fact7: その大宮折り返しは教育相談機関だ fact8: もし仮にこの語学学校が仲違いであるとしたらそれは血腥くて天使らしくない fact9: 「この語学学校は仲違いである」ということは本当ならば天使らしくない fact10: 仮にその大宮折り返しは血腥いかあるいは天使らしいか両方だとすると仲違いでない fact11: その大宮折り返しは教育相談機関であるし往復する fact12: 仮にその大宮折り返しが教育相談機関ならその蓄積過程は教育相談機関である fact13: もしこの巻が読み解くとすればあのワークは表現能力である fact14: もしも「その大宮折り返しは仲違いでない」ということは事実であるなら膾炙するしさらに教育相談機関だ fact15: もしこの語学学校が膾炙するならそれは内省する fact16: もしもその大宮折り返しが往復するならこの語学学校は膾炙する
fact11 -> int1: その大宮折り返しは往復する; int1 & fact16 -> int2: この語学学校は膾炙する; int2 & fact15 -> int3: この語学学校は内省する; fact5 -> int4: この語学学校が内省すれば仲違いである; int3 & int4 -> int5: 「この語学学校は仲違いである」ということは本当である; int5 & fact8 -> int6: この語学学校は血腥い一方で天使らしいということはない; int6 & fact2 -> int7: 「この巻は読み解く」ということは事実である; int7 & fact13 -> hypothesis;
その蓄積過程は内省するしさらに吸血する
fact21 -> int8: その蓄積過程が教育相談機関ならば内省する; fact17 -> int9: 「この語学学校は吸血しなくて往復するということはない」ということは間違いである; int9 -> int10: 「「吸血しなくてしかも往復しない」ということは成り立たない」物はある;
$facts$ = fact1: 吸血しないし更に往復しないというものはない fact2: もしこの語学学校が血腥いがそれは天使らしくないとすると「この巻は読み解く」ということは成り立つ fact3: この語学学校は天使らしくない fact4: 教育相談機関は内省する fact5: 仮になんらかの物が内省するとすればそれは仲違いである fact6: もしこの語学学校が血腥いしそれにそれが天使らしいとしたらこの巻は読み解く fact7: その大宮折り返しは教育相談機関だ fact8: もし仮にこの語学学校が仲違いであるとしたらそれは血腥くて天使らしくない fact9: 「この語学学校は仲違いである」ということは本当ならば天使らしくない fact10: 仮にその大宮折り返しは血腥いかあるいは天使らしいか両方だとすると仲違いでない fact11: その大宮折り返しは教育相談機関であるし往復する fact12: 仮にその大宮折り返しが教育相談機関ならその蓄積過程は教育相談機関である fact13: もしこの巻が読み解くとすればあのワークは表現能力である fact14: もしも「その大宮折り返しは仲違いでない」ということは事実であるなら膾炙するしさらに教育相談機関だ fact15: もしこの語学学校が膾炙するならそれは内省する fact16: もしもその大宮折り返しが往復するならこの語学学校は膾炙する ; $hypothesis$ = あのワークは表現能力でない ; $proof$ = 
fact11 -> int1: その大宮折り返しは往復する; int1 & fact16 -> int2: この語学学校は膾炙する; int2 & fact15 -> int3: この語学学校は内省する; fact5 -> int4: この語学学校が内省すれば仲違いである; int3 & int4 -> int5: 「この語学学校は仲違いである」ということは本当である; int5 & fact8 -> int6: この語学学校は血腥い一方で天使らしいということはない; int6 & fact2 -> int7: 「この巻は読み解く」ということは事実である; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: 吸血しないし更に往復しないというものはない
事実2: もしこの語学学校が血腥いがそれは天使らしくないとすると「この巻は読み解く」ということは成り立つ
事実3: この語学学校は天使らしくない
事実4: 教育相談機関は内省する
事実5: 仮になんらかの物が内省するとすればそれは仲違いである
事実6: もしこの語学学校が血腥いしそれにそれが天使らしいとしたらこの巻は読み解く
事実7: その大宮折り返しは教育相談機関だ
事実8: もし仮にこの語学学校が仲違いであるとしたらそれは血腥くて天使らしくない
事実9: 「この語学学校は仲違いである」ということは本当ならば天使らしくない
事実10: 仮にその大宮折り返しは血腥いかあるいは天使らしいか両方だとすると仲違いでない
事実11: その大宮折り返しは教育相談機関であるし往復する
事実12: 仮にその大宮折り返しが教育相談機関ならその蓄積過程は教育相談機関である
事実13: もしこの巻が読み解くとすればあのワークは表現能力である
事実14: もしも「その大宮折り返しは仲違いでない」ということは事実であるなら膾炙するしさらに教育相談機関だ
事実15: もしこの語学学校が膾炙するならそれは内省する
事実16: もしもその大宮折り返しが往復するならこの語学学校は膾炙する

仮説: あのワークは表現能力でない
1. 事実11から、推論1: "その大宮折り返しは往復する"が導かれる
2. 推論1と事実16から、推論2: "この語学学校は膾炙する"が導かれる
3. 推論2と事実15から、推論3: "この語学学校は内省する"が導かれる
4. 事実5から、推論4: "この語学学校が内省すれば仲違いである"が導かれる
5. 推論3と推論4から、推論5: "「この語学学校は仲違いである」ということは本当である"が導かれる
6. 推論5と事実8から、推論6: "この語学学校は血腥い一方で天使らしいということはない"が導かれる
7. 推論6と事実2から、推論7: "「この巻は読み解く」ということは事実である"が導かれる
8. 推論7と事実13から、仮説が否定される

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