その向かい合わせは真白い
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: もし仮に「この水冷エンジンは思慮深くないけれど須恵器型式である」ということは間違いだとしたらこの再審査請求は都市化する fact26: もしその向かい合わせが思慮深いとしたらそれはブロイラーでなくて加えて貧乏臭くない
fact6 & fact15 -> int1: 「そのリハセンターはちょろいがしかし貧乏臭くない」ということは成り立つということはない; int1 & fact17 -> int2: このエトワール広場はブロイラーでない; int2 & fact19 -> int3: 「この水冷エンジンは思慮深くない一方でそれは須恵器型式である」ということは真実でない; int3 & fact25 -> int4: この再審査請求は都市化する; int4 & fact16 -> int5: 「この再審査請求は堪り易い」ということは事実である; int5 & fact12 -> int6: この再審査請求は堪り易くてまたそれは潜脱する; int6 & fact13 -> int7: その向かい合わせは離別しない; fact7 -> int8: もしその向かい合わせは離別しないとすると「それは真白くない」ということは嘘だということはない; int7 & int8 -> hypothesis;
その向かい合わせは真白い
fact28 -> int9: もしもその向かい合わせがちょろくないならそれは真白いしさらに作詞する;
$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: もし仮に「この水冷エンジンは思慮深くないけれど須恵器型式である」ということは間違いだとしたらこの再審査請求は都市化する fact26: もしその向かい合わせが思慮深いとしたらそれはブロイラーでなくて加えて貧乏臭くない ; $hypothesis$ = その向かい合わせは真白い ; $proof$ = 
fact6 & fact15 -> int1: 「そのリハセンターはちょろいがしかし貧乏臭くない」ということは成り立つということはない; int1 & fact17 -> int2: このエトワール広場はブロイラーでない; int2 & fact19 -> int3: 「この水冷エンジンは思慮深くない一方でそれは須恵器型式である」ということは真実でない; int3 & fact25 -> int4: この再審査請求は都市化する; int4 & fact16 -> int5: 「この再審査請求は堪り易い」ということは事実である; int5 & fact12 -> int6: この再審査請求は堪り易くてまたそれは潜脱する; int6 & fact13 -> int7: その向かい合わせは離別しない; fact7 -> int8: もしその向かい合わせは離別しないとすると「それは真白くない」ということは嘘だということはない; int7 & int8 -> 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: もし仮に「この水冷エンジンは思慮深くないけれど須恵器型式である」ということは間違いだとしたらこの再審査請求は都市化する
事実26: もしその向かい合わせが思慮深いとしたらそれはブロイラーでなくて加えて貧乏臭くない

仮説: その向かい合わせは真白い
1. 事実6と事実15から、推論1: "「そのリハセンターはちょろいがしかし貧乏臭くない」ということは成り立つということはない"が導かれる
2. 推論1と事実17から、推論2: "このエトワール広場はブロイラーでない"が導かれる
3. 推論2と事実19から、推論3: "「この水冷エンジンは思慮深くない一方でそれは須恵器型式である」ということは真実でない"が導かれる
4. 推論3と事実25から、推論4: "この再審査請求は都市化する"が導かれる
5. 推論4と事実16から、推論5: "「この再審査請求は堪り易い」ということは事実である"が導かれる
6. 推論5と事実12から、推論6: "この再審査請求は堪り易くてまたそれは潜脱する"が導かれる
7. 推論6と事実13から、推論7: "その向かい合わせは離別しない"が導かれる
8. 事実7から、推論8: "もしその向かい合わせは離別しないとすると「それは真白くない」ということは嘘だということはない"が導かれる
9. 推論7と推論8から、仮説が否定される

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