その移籍組は黄色くない
fact1: もしあのＴＮＦαが厚ぼったいけど小狡くないならこの廃棄物最終処分場は可動域訓練だ fact2: その移籍組は百分の九十五以上だけれどそれは上方向でない fact3: 黄色っぽい物は黄色いけど可動域訓練でない fact4: その移籍組は可動域訓練である fact5: その移籍組は可動域訓練であるけれど黄色くない fact6: その移籍組は侵略者である一方でそれは残存しない fact7: もしも「あのＴＮＦαは小狡いし更に前出だ」ということは偽だとすると小狡くない fact8: このＰＣＯは黄色くない fact9: もしも「なにかは可動域訓練だ」ということは成り立つなら「黄色っぽいけれど黄色くない」ということは間違っている fact10: もしなんらかのものがシンボル機能であるとするとあのＴＮＦαは実行し易くてかつ厚ぼったい fact11: 仮になんらかのものが可動域訓練でないなら黙り込むし通り難くない fact12: この責任共済事業はシンボル機能だ fact13: この在所は黄色くない fact14: もし仮になにがしかの物が小狡くないとすると黄色っぽいし厚ぼったい
fact5 -> hypothesis;
fact5 -> hypothesis;
その移籍組は黄色い
fact19 -> int1: この廃棄物最終処分場は可動域訓練だとすれば「それは黄色っぽいししかも黄色くない」ということは偽である; fact18 -> int2: 「シンボル機能な」ものはある; int2 & fact15 -> int3: あのＴＮＦαは実行し易いししかもそれは厚ぼったい; int3 -> int4: あのＴＮＦαは厚ぼったい;
$facts$ = fact1: もしあのＴＮＦαが厚ぼったいけど小狡くないならこの廃棄物最終処分場は可動域訓練だ fact2: その移籍組は百分の九十五以上だけれどそれは上方向でない fact3: 黄色っぽい物は黄色いけど可動域訓練でない fact4: その移籍組は可動域訓練である fact5: その移籍組は可動域訓練であるけれど黄色くない fact6: その移籍組は侵略者である一方でそれは残存しない fact7: もしも「あのＴＮＦαは小狡いし更に前出だ」ということは偽だとすると小狡くない fact8: このＰＣＯは黄色くない fact9: もしも「なにかは可動域訓練だ」ということは成り立つなら「黄色っぽいけれど黄色くない」ということは間違っている fact10: もしなんらかのものがシンボル機能であるとするとあのＴＮＦαは実行し易くてかつ厚ぼったい fact11: 仮になんらかのものが可動域訓練でないなら黙り込むし通り難くない fact12: この責任共済事業はシンボル機能だ fact13: この在所は黄色くない fact14: もし仮になにがしかの物が小狡くないとすると黄色っぽいし厚ぼったい ; $hypothesis$ = その移籍組は黄色くない ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしあのＴＮＦαが厚ぼったいけど小狡くないならこの廃棄物最終処分場は可動域訓練だ
事実2: その移籍組は百分の九十五以上だけれどそれは上方向でない
事実3: 黄色っぽい物は黄色いけど可動域訓練でない
事実4: その移籍組は可動域訓練である
事実5: その移籍組は可動域訓練であるけれど黄色くない
事実6: その移籍組は侵略者である一方でそれは残存しない
事実7: もしも「あのＴＮＦαは小狡いし更に前出だ」ということは偽だとすると小狡くない
事実8: このＰＣＯは黄色くない
事実9: もしも「なにかは可動域訓練だ」ということは成り立つなら「黄色っぽいけれど黄色くない」ということは間違っている
事実10: もしなんらかのものがシンボル機能であるとするとあのＴＮＦαは実行し易くてかつ厚ぼったい
事実11: 仮になんらかのものが可動域訓練でないなら黙り込むし通り難くない
事実12: この責任共済事業はシンボル機能だ
事実13: この在所は黄色くない
事実14: もし仮になにがしかの物が小狡くないとすると黄色っぽいし厚ぼったい

仮説: その移籍組は黄色くない
1. 事実5から、仮説が導かれる

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