この告発は本当でないししかもジェッティングでない
fact1: その自治制度は意地悪い fact2: 「この勃興期は治り掛けない」ということは本当である fact3: その自治制度が意地悪いとするとその貴校はプログラムファイルである fact4: もし仮にその自治制度は治り掛ければ「「この告発は意地悪いがプログラムファイルでない」ということは正しい」ということは事実でない fact5: その自治制度は疎明資料である fact6: 仮にあの機内食は疎明資料だということはないとすると「この告発は本当でないしさらにジェッティングでない」ということは嘘だ fact7: あの東光作品は治り掛ける fact8: 「その貴校は本当だ」ということは事実である fact9: このＶワン誘導は本当でない fact10: もし仮にその自治制度が経済社会だとするとそれは疎明資料だ fact11: 「あの機内食が疎明資料だけど本当でない」ということは成り立たない fact12: もし「その貴校は治り掛けない」ということは確かであるとすると「この告発はプログラムファイルであるがしかしジェッティングでない」ということは誤っている fact13: 仮に「その自治制度は疎明資料である」ということは真実であるならば治り掛ける fact14: このＶワン誘導は変換処理でない fact15: 仮にその貴校がプログラムファイルだとすればあのＶワン誘導は治り掛けない fact16: もしもこのＶワン誘導が治り掛けないならあの機内食は疎明資料でない fact17: このＶワン誘導は意地悪くないとすれば「その自治制度は治り掛けない一方で疎明資料だ」ということは間違いである fact18: あの機内食はジェッティングでない fact19: この告発がプログラムファイルならばあの貴校はジェッティングである fact20: その自治制度はジェッティングでない fact21: あのクリストファー・マイルズはプログラムファイルである fact22: 「その貴校はプログラムファイルであるということはない」ということは嘘でないとすれば「このＶワン誘導は治り掛けないしその上それはジェッティングであるということはない」ということは真実でない fact23: もしこの告発はプログラムファイルでないとしたら「その貴校は治り掛けないしジェッティングでない」ということは事実と異なる fact24: もし仮に「このＶワン誘導は意地悪い」ということは成り立つとすればあの自治制度は治り掛ける fact25: もし仮にこの告発はジェッティングでないとしたら「「その貴校は意地悪いがプログラムファイルでない」ということは正しい」ということは誤っている
fact3 & fact1 -> int1: その貴校はプログラムファイルである; int1 & fact15 -> int2: このＶワン誘導は治り掛けるということはない; int2 & fact16 -> int3: あの機内食は疎明資料でない; int3 & fact6 -> hypothesis;
この告発は本当でなくてジェッティングでない
$facts$ = fact1: その自治制度は意地悪い fact2: 「この勃興期は治り掛けない」ということは本当である fact3: その自治制度が意地悪いとするとその貴校はプログラムファイルである fact4: もし仮にその自治制度は治り掛ければ「「この告発は意地悪いがプログラムファイルでない」ということは正しい」ということは事実でない fact5: その自治制度は疎明資料である fact6: 仮にあの機内食は疎明資料だということはないとすると「この告発は本当でないしさらにジェッティングでない」ということは嘘だ fact7: あの東光作品は治り掛ける fact8: 「その貴校は本当だ」ということは事実である fact9: このＶワン誘導は本当でない fact10: もし仮にその自治制度が経済社会だとするとそれは疎明資料だ fact11: 「あの機内食が疎明資料だけど本当でない」ということは成り立たない fact12: もし「その貴校は治り掛けない」ということは確かであるとすると「この告発はプログラムファイルであるがしかしジェッティングでない」ということは誤っている fact13: 仮に「その自治制度は疎明資料である」ということは真実であるならば治り掛ける fact14: このＶワン誘導は変換処理でない fact15: 仮にその貴校がプログラムファイルだとすればあのＶワン誘導は治り掛けない fact16: もしもこのＶワン誘導が治り掛けないならあの機内食は疎明資料でない fact17: このＶワン誘導は意地悪くないとすれば「その自治制度は治り掛けない一方で疎明資料だ」ということは間違いである fact18: あの機内食はジェッティングでない fact19: この告発がプログラムファイルならばあの貴校はジェッティングである fact20: その自治制度はジェッティングでない fact21: あのクリストファー・マイルズはプログラムファイルである fact22: 「その貴校はプログラムファイルであるということはない」ということは嘘でないとすれば「このＶワン誘導は治り掛けないしその上それはジェッティングであるということはない」ということは真実でない fact23: もしこの告発はプログラムファイルでないとしたら「その貴校は治り掛けないしジェッティングでない」ということは事実と異なる fact24: もし仮に「このＶワン誘導は意地悪い」ということは成り立つとすればあの自治制度は治り掛ける fact25: もし仮にこの告発はジェッティングでないとしたら「「その貴校は意地悪いがプログラムファイルでない」ということは正しい」ということは誤っている ; $hypothesis$ = この告発は本当でないししかもジェッティングでない ; $proof$ = 
fact3 & fact1 -> int1: その貴校はプログラムファイルである; int1 & fact15 -> int2: このＶワン誘導は治り掛けるということはない; int2 & fact16 -> int3: あの機内食は疎明資料でない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: その自治制度は意地悪い
事実2: 「この勃興期は治り掛けない」ということは本当である
事実3: その自治制度が意地悪いとするとその貴校はプログラムファイルである
事実4: もし仮にその自治制度は治り掛ければ「「この告発は意地悪いがプログラムファイルでない」ということは正しい」ということは事実でない
事実5: その自治制度は疎明資料である
事実6: 仮にあの機内食は疎明資料だということはないとすると「この告発は本当でないしさらにジェッティングでない」ということは嘘だ
事実7: あの東光作品は治り掛ける
事実8: 「その貴校は本当だ」ということは事実である
事実9: このＶワン誘導は本当でない
事実10: もし仮にその自治制度が経済社会だとするとそれは疎明資料だ
事実11: 「あの機内食が疎明資料だけど本当でない」ということは成り立たない
事実12: もし「その貴校は治り掛けない」ということは確かであるとすると「この告発はプログラムファイルであるがしかしジェッティングでない」ということは誤っている
事実13: 仮に「その自治制度は疎明資料である」ということは真実であるならば治り掛ける
事実14: このＶワン誘導は変換処理でない
事実15: 仮にその貴校がプログラムファイルだとすればあのＶワン誘導は治り掛けない
事実16: もしもこのＶワン誘導が治り掛けないならあの機内食は疎明資料でない
事実17: このＶワン誘導は意地悪くないとすれば「その自治制度は治り掛けない一方で疎明資料だ」ということは間違いである
事実18: あの機内食はジェッティングでない
事実19: この告発がプログラムファイルならばあの貴校はジェッティングである
事実20: その自治制度はジェッティングでない
事実21: あのクリストファー・マイルズはプログラムファイルである
事実22: 「その貴校はプログラムファイルであるということはない」ということは嘘でないとすれば「このＶワン誘導は治り掛けないしその上それはジェッティングであるということはない」ということは真実でない
事実23: もしこの告発はプログラムファイルでないとしたら「その貴校は治り掛けないしジェッティングでない」ということは事実と異なる
事実24: もし仮に「このＶワン誘導は意地悪い」ということは成り立つとすればあの自治制度は治り掛ける
事実25: もし仮にこの告発はジェッティングでないとしたら「「その貴校は意地悪いがプログラムファイルでない」ということは正しい」ということは誤っている

仮説: この告発は本当でないししかもジェッティングでない
1. 事実3と事実1から、推論1: "その貴校はプログラムファイルである"が導かれる
2. 推論1と事実15から、推論2: "このＶワン誘導は治り掛けるということはない"が導かれる
3. 推論2と事実16から、推論3: "あの機内食は疎明資料でない"が導かれる
4. 推論3と事実6から、仮説が否定される

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