「そのハワイアンシャツは握り締めるがしかし当該特定都市河川流域だということはない」ということは嘘である
fact1: バーベルは染まるとしたら「この大学受験は投資チャンスだということはない」ということは本当である fact2: もし仮にこの大学受験はバーベルでないなら「染まるし投資チャンスであるということはない」ということは成り立つということはない fact3: 「「染まるしおまけに投資チャンスでない」ということは成り立たない」物があるとするとこのＶ字型は課程でない fact4: 「あの重量バランスは小テーブルだけどバーベルでない」ということは成り立つということはない fact5: もしも「「このＶ字型は攻め切れない」ということは成り立つ」ということは成り立たないとすればそのハワイアンシャツは握り締める fact6: そのハワイアンシャツは当該特定都市河川流域でない fact7: このＶ字型は吐息するけれど腫脹しない fact8: 全ては燃え滾る fact9: もし仮にこのＶ字型が当該特定都市河川流域だとするとその谷底低地は当該特定都市河川流域だ fact10: この資産総額は握り締めるけれど用途向けでない fact11: もし仮にこのＶ字型が握り締めるとすればそのハワイアンシャツは攻め切れる fact12: もし仮に「あの重量バランスは小テーブルであるがそれはバーベルでない」ということは成り立たないならこの大学受験はバーベルでない fact13: その肛壁は攻め切れる fact14: 「もしも何かは投資チャンスでないとすれば「それは課程でまた燃え滾る」ということは成り立つということはない」ということは間違っていない fact15: なんらかの物はバーベルであるしそれは染まる fact16: そのハワイアンシャツは攻め切れるということはない fact17: このＶ字型は握り締めるということはない fact18: もしこのＶ字型が当該特定都市河川流域だとしたらそのハワイアンシャツは攻め切れる fact19: もし「「「課程であるし燃え滾る」ということは真実だ」ということは嘘な」ものはあれば「そのハワイアンシャツは課程でない」ということは事実である fact20: このＶ字型は攻め切れる fact21: その言語話者は攻め切れるということはない fact22: もしもとある物が課程でないとすればあのＶ字型は握り締めない fact23: このＶ字型は選挙する
fact5 & fact20 -> int1: そのハワイアンシャツは握り締める; int1 & fact6 -> hypothesis;
その谷底低地は当該特定都市河川流域である
fact26 -> int2: 仮にこの大学受験は投資チャンスでないなら「課程だしそれにそれは燃え滾る」ということは誤っている; fact25 & fact27 -> int3: この大学受験は投資チャンスでない; int2 & int3 -> int4: 「この大学受験が課程だしさらに燃え滾る」ということは誤っている; int4 -> int5: 「「課程だし燃え滾る」ということは成り立たない」ものはある; int5 & fact29 -> int6: そのハワイアンシャツは課程でない; int6 -> int7: 「課程でない」物はある; int7 & fact28 -> int8: このＶ字型は握り締めない;
$facts$ = fact1: バーベルは染まるとしたら「この大学受験は投資チャンスだということはない」ということは本当である fact2: もし仮にこの大学受験はバーベルでないなら「染まるし投資チャンスであるということはない」ということは成り立つということはない fact3: 「「染まるしおまけに投資チャンスでない」ということは成り立たない」物があるとするとこのＶ字型は課程でない fact4: 「あの重量バランスは小テーブルだけどバーベルでない」ということは成り立つということはない fact5: もしも「「このＶ字型は攻め切れない」ということは成り立つ」ということは成り立たないとすればそのハワイアンシャツは握り締める fact6: そのハワイアンシャツは当該特定都市河川流域でない fact7: このＶ字型は吐息するけれど腫脹しない fact8: 全ては燃え滾る fact9: もし仮にこのＶ字型が当該特定都市河川流域だとするとその谷底低地は当該特定都市河川流域だ fact10: この資産総額は握り締めるけれど用途向けでない fact11: もし仮にこのＶ字型が握り締めるとすればそのハワイアンシャツは攻め切れる fact12: もし仮に「あの重量バランスは小テーブルであるがそれはバーベルでない」ということは成り立たないならこの大学受験はバーベルでない fact13: その肛壁は攻め切れる fact14: 「もしも何かは投資チャンスでないとすれば「それは課程でまた燃え滾る」ということは成り立つということはない」ということは間違っていない fact15: なんらかの物はバーベルであるしそれは染まる fact16: そのハワイアンシャツは攻め切れるということはない fact17: このＶ字型は握り締めるということはない fact18: もしこのＶ字型が当該特定都市河川流域だとしたらそのハワイアンシャツは攻め切れる fact19: もし「「「課程であるし燃え滾る」ということは真実だ」ということは嘘な」ものはあれば「そのハワイアンシャツは課程でない」ということは事実である fact20: このＶ字型は攻め切れる fact21: その言語話者は攻め切れるということはない fact22: もしもとある物が課程でないとすればあのＶ字型は握り締めない fact23: このＶ字型は選挙する ; $hypothesis$ = 「そのハワイアンシャツは握り締めるがしかし当該特定都市河川流域だということはない」ということは嘘である ; $proof$ = 
fact5 & fact20 -> int1: そのハワイアンシャツは握り締める; int1 & 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: このＶ字型は選挙する

仮説: 「そのハワイアンシャツは握り締めるがしかし当該特定都市河川流域だということはない」ということは嘘である
1. 事実5と事実20から、推論1: "そのハワイアンシャツは握り締める"が導かれる
2. 推論1と事実6から、仮説が否定される

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