この両党は見交わす
fact1: もしもさもしい物が説明致すとするとそれはめぼしくない fact2: その酷評は説明致す fact3: 「もしその酷評はめぼしいということはないとしたら「その海岸近くは捕らえ得るしさらにめぼしい」ということは誤りである」ということは事実だ fact4: その酷評はさもしい fact5: もし仮にその酷評はめぼしくないとすると「その海岸近くは捕らえ得るということはないけれどそれはめぼしい」ということは誤っている fact6: この敢闘は説明致す fact7: もし仮に「その海岸近くは捕らえ得ないけれどそれはめぼしい」ということは成り立たないとすればあの両党は見交わすということはない
fact4 & fact2 -> int1: その酷評はさもしいしそれに説明致す; fact1 -> int2: もしその酷評がさもしくて加えて説明致せばそれはめぼしいということはない; int1 & int2 -> int3: その酷評はめぼしくない; int3 & fact5 -> int4: 「その海岸近くは捕らえ得るということはないがめぼしい」ということは成り立たない; int4 & fact7 -> hypothesis;
$facts$ = fact1: もしもさもしい物が説明致すとするとそれはめぼしくない fact2: その酷評は説明致す fact3: 「もしその酷評はめぼしいということはないとしたら「その海岸近くは捕らえ得るしさらにめぼしい」ということは誤りである」ということは事実だ fact4: その酷評はさもしい fact5: もし仮にその酷評はめぼしくないとすると「その海岸近くは捕らえ得るということはないけれどそれはめぼしい」ということは誤っている fact6: この敢闘は説明致す fact7: もし仮に「その海岸近くは捕らえ得ないけれどそれはめぼしい」ということは成り立たないとすればあの両党は見交わすということはない ; $hypothesis$ = この両党は見交わす ; $proof$ = 
fact4 & fact2 -> int1: その酷評はさもしいしそれに説明致す; fact1 -> int2: もしその酷評がさもしくて加えて説明致せばそれはめぼしいということはない; int1 & int2 -> int3: その酷評はめぼしくない; int3 & fact5 -> int4: 「その海岸近くは捕らえ得るということはないがめぼしい」ということは成り立たない; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもさもしい物が説明致すとするとそれはめぼしくない
事実2: その酷評は説明致す
事実3: 「もしその酷評はめぼしいということはないとしたら「その海岸近くは捕らえ得るしさらにめぼしい」ということは誤りである」ということは事実だ
事実4: その酷評はさもしい
事実5: もし仮にその酷評はめぼしくないとすると「その海岸近くは捕らえ得るということはないけれどそれはめぼしい」ということは誤っている
事実6: この敢闘は説明致す
事実7: もし仮に「その海岸近くは捕らえ得ないけれどそれはめぼしい」ということは成り立たないとすればあの両党は見交わすということはない

仮説: この両党は見交わす
1. 事実4と事実2から、推論1: "その酷評はさもしいしそれに説明致す"が導かれる
2. 事実1から、推論2: "もしその酷評がさもしくて加えて説明致せばそれはめぼしいということはない"が導かれる
3. 推論1と推論2から、推論3: "その酷評はめぼしくない"が導かれる
4. 推論3と事実5から、推論4: "「その海岸近くは捕らえ得るということはないがめぼしい」ということは成り立たない"が導かれる
5. 推論4と事実7から、仮説が否定される

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