「あのフロントコートは流れ付く一方でそれは法的義務でない」ということは間違いである
fact1: 仮に「世襲するということはない」ものはあれば「あのフロントコートは流れ付くけれど法的義務でない」ということは事実と異なる fact2: 「世襲しない」物はある fact3: 「世襲する」ものはある fact4: その人工妊娠中絶は一定範囲内であるか商売上ならば「このレイテ沖は商売上でない」ということは事実である fact5: もし何らかのものが慰めるがしかし苦しくないとすればそれは這う fact6: この女性本人が焦げ臭くないとすればあのフロントコートは世襲するということはないがキリシタン大名である fact7: 仮にこのレイテ沖が商売上でないとするとあのビジネスマン達は慰めるが苦しいということはない fact8: もし仮にあのビジネスマン達が這うならこの能力差はしかつめらしくない fact9: 仮にこの能力差が腫れぼったいならこの女性本人は焦げ臭くない fact10: もしあるものが世襲しないとすればそれは流れ付くけど法的義務でない fact11: しかつめらしくないものはＶＯ型であるし腫れぼったい
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
あのフロントコートは流れ付く一方でそれは法的義務でない
fact17 -> int1: もし仮にあのフロントコートが世襲しないとすればそれは流れ付くが法的義務でない; fact14 -> int2: 仮に「この能力差はしかつめらしくない」ということは本当ならそれはＶＯ型だしその上腫れぼったい; fact13 -> int3: あのビジネスマン達は慰める一方で苦しくないとしたら這う;
$facts$ = fact1: 仮に「世襲するということはない」ものはあれば「あのフロントコートは流れ付くけれど法的義務でない」ということは事実と異なる fact2: 「世襲しない」物はある fact3: 「世襲する」ものはある fact4: その人工妊娠中絶は一定範囲内であるか商売上ならば「このレイテ沖は商売上でない」ということは事実である fact5: もし何らかのものが慰めるがしかし苦しくないとすればそれは這う fact6: この女性本人が焦げ臭くないとすればあのフロントコートは世襲するということはないがキリシタン大名である fact7: 仮にこのレイテ沖が商売上でないとするとあのビジネスマン達は慰めるが苦しいということはない fact8: もし仮にあのビジネスマン達が這うならこの能力差はしかつめらしくない fact9: 仮にこの能力差が腫れぼったいならこの女性本人は焦げ臭くない fact10: もしあるものが世襲しないとすればそれは流れ付くけど法的義務でない fact11: しかつめらしくないものはＶＯ型であるし腫れぼったい ; $hypothesis$ = 「あのフロントコートは流れ付く一方でそれは法的義務でない」ということは間違いである ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「世襲するということはない」ものはあれば「あのフロントコートは流れ付くけれど法的義務でない」ということは事実と異なる
事実2: 「世襲しない」物はある
事実3: 「世襲する」ものはある
事実4: その人工妊娠中絶は一定範囲内であるか商売上ならば「このレイテ沖は商売上でない」ということは事実である
事実5: もし何らかのものが慰めるがしかし苦しくないとすればそれは這う
事実6: この女性本人が焦げ臭くないとすればあのフロントコートは世襲するということはないがキリシタン大名である
事実7: 仮にこのレイテ沖が商売上でないとするとあのビジネスマン達は慰めるが苦しいということはない
事実8: もし仮にあのビジネスマン達が這うならこの能力差はしかつめらしくない
事実9: 仮にこの能力差が腫れぼったいならこの女性本人は焦げ臭くない
事実10: もしあるものが世襲しないとすればそれは流れ付くけど法的義務でない
事実11: しかつめらしくないものはＶＯ型であるし腫れぼったい

仮説: 「あのフロントコートは流れ付く一方でそれは法的義務でない」ということは間違いである
1. 事実2と事実1から、仮説が導かれる

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