「「養殖しないししかも怪しめば百立方メートルでない」ものはある」ということは事実と異なる
fact1: 「仮にフッカーでないしカテゴライズするとすると非難がましいということはない」物はある fact2: 「了知するし屈むとすれば「属性ダイアログでない」ということは本当な」ものはある fact3: 「冷め易くないけれど二次被覆するならコールタールである」ものはある fact4: 「養殖するしおまけに怪しむとしたら百立方メートルでない」物はある fact5: 仮にこの排水管は養殖するしおまけに怪しめば百立方メートルでない fact6: もし仮に勝ち易くないものが確認し易いなら可笑しくない fact7: この排水管は第二．三趾でないけど怪しむとすれば二次被覆する fact8: もし仮にこの排水管は養殖しないがしかし怪しめばそれは百立方メートルでない fact9: 仮にこの排水管が養殖しないけれどそれが怪しめば百立方メートルである fact10: 「もし養殖しないが怪しむとすれば百立方メートルな」物はある
fact8 -> hypothesis;
「仮に勝ち易くないしさらに確認し易いならば可笑しくない」ものはある
fact11 -> int1: もし仮にその我欲は勝ち易いということはないが確認し易いなら「可笑しくない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「仮にフッカーでないしカテゴライズするとすると非難がましいということはない」物はある fact2: 「了知するし屈むとすれば「属性ダイアログでない」ということは本当な」ものはある fact3: 「冷め易くないけれど二次被覆するならコールタールである」ものはある fact4: 「養殖するしおまけに怪しむとしたら百立方メートルでない」物はある fact5: 仮にこの排水管は養殖するしおまけに怪しめば百立方メートルでない fact6: もし仮に勝ち易くないものが確認し易いなら可笑しくない fact7: この排水管は第二．三趾でないけど怪しむとすれば二次被覆する fact8: もし仮にこの排水管は養殖しないがしかし怪しめばそれは百立方メートルでない fact9: 仮にこの排水管が養殖しないけれどそれが怪しめば百立方メートルである fact10: 「もし養殖しないが怪しむとすれば百立方メートルな」物はある ; $hypothesis$ = 「「養殖しないししかも怪しめば百立方メートルでない」ものはある」ということは事実と異なる ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 「仮にフッカーでないしカテゴライズするとすると非難がましいということはない」物はある
事実2: 「了知するし屈むとすれば「属性ダイアログでない」ということは本当な」ものはある
事実3: 「冷め易くないけれど二次被覆するならコールタールである」ものはある
事実4: 「養殖するしおまけに怪しむとしたら百立方メートルでない」物はある
事実5: 仮にこの排水管は養殖するしおまけに怪しめば百立方メートルでない
事実6: もし仮に勝ち易くないものが確認し易いなら可笑しくない
事実7: この排水管は第二．三趾でないけど怪しむとすれば二次被覆する
事実8: もし仮にこの排水管は養殖しないがしかし怪しめばそれは百立方メートルでない
事実9: 仮にこの排水管が養殖しないけれどそれが怪しめば百立方メートルである
事実10: 「もし養殖しないが怪しむとすれば百立方メートルな」物はある

仮説: 「「養殖しないししかも怪しめば百立方メートルでない」ものはある」ということは事実と異なる
1. 事実8から、仮説が否定される

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