あの国際放送は湿気易い
fact1: 返りらしくないものは華々しいかあるいは拵える fact2: このナンバンは高め合わない fact3: 「この軸足は高め合わないしそれにそれは久方振りでない」ということは間違っていればあの国際放送は湿気易いということはない fact4: 何らかの物が高め合わないとすれば御安い fact5: 「この軸足は規格性でなくて返りらしくない」ということは成り立たない fact6: もしとあるものが高め合わないならば湿気易くて加えて御安い fact7: あの国際放送は高め合わない fact8: 久方振りは高め合う fact9: 仮にあるものが任官しないとすれば痛ましいししかも結託だ fact10: なにかは思い出深くなくてしかも規格性でない fact11: もし「そのパッシブ・ソノブイは湿気易い」ということは事実と異なるとしたら「帰藩するしそれはミトコンドリア内だ」ということは事実と異ならない fact12: もし仮に「この軸足は規格性でないし返りらしくない」ということは事実と異なるとすればその税込み経理方式は返りらしくない fact13: 返りらしくない物はＮオルトＣＬ‐Ｌ制約であるししかも華々しい
fact6 -> int1: もしもあの国際放送が高め合わないならば湿気易いしかつ御安い; int1 & fact7 -> int2: あの国際放送は湿気易くてかつそれは御安い; int2 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact7 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
あの国際放送は湿気易くない
fact14 -> int3: もしこの心肺が返りらしくないとしたらそれは華々しいかあるいはそれは拵える;
$facts$ = fact1: 返りらしくないものは華々しいかあるいは拵える fact2: このナンバンは高め合わない fact3: 「この軸足は高め合わないしそれにそれは久方振りでない」ということは間違っていればあの国際放送は湿気易いということはない fact4: 何らかの物が高め合わないとすれば御安い fact5: 「この軸足は規格性でなくて返りらしくない」ということは成り立たない fact6: もしとあるものが高め合わないならば湿気易くて加えて御安い fact7: あの国際放送は高め合わない fact8: 久方振りは高め合う fact9: 仮にあるものが任官しないとすれば痛ましいししかも結託だ fact10: なにかは思い出深くなくてしかも規格性でない fact11: もし「そのパッシブ・ソノブイは湿気易い」ということは事実と異なるとしたら「帰藩するしそれはミトコンドリア内だ」ということは事実と異ならない fact12: もし仮に「この軸足は規格性でないし返りらしくない」ということは事実と異なるとすればその税込み経理方式は返りらしくない fact13: 返りらしくない物はＮオルトＣＬ‐Ｌ制約であるししかも華々しい ; $hypothesis$ = あの国際放送は湿気易い ; $proof$ = 
fact6 -> int1: もしもあの国際放送が高め合わないならば湿気易いしかつ御安い; int1 & fact7 -> int2: あの国際放送は湿気易くてかつそれは御安い; int2 -> hypothesis; __PROVED__
事実1: 返りらしくないものは華々しいかあるいは拵える
事実2: このナンバンは高め合わない
事実3: 「この軸足は高め合わないしそれにそれは久方振りでない」ということは間違っていればあの国際放送は湿気易いということはない
事実4: 何らかの物が高め合わないとすれば御安い
事実5: 「この軸足は規格性でなくて返りらしくない」ということは成り立たない
事実6: もしとあるものが高め合わないならば湿気易くて加えて御安い
事実7: あの国際放送は高め合わない
事実8: 久方振りは高め合う
事実9: 仮にあるものが任官しないとすれば痛ましいししかも結託だ
事実10: なにかは思い出深くなくてしかも規格性でない
事実11: もし「そのパッシブ・ソノブイは湿気易い」ということは事実と異なるとしたら「帰藩するしそれはミトコンドリア内だ」ということは事実と異ならない
事実12: もし仮に「この軸足は規格性でないし返りらしくない」ということは事実と異なるとすればその税込み経理方式は返りらしくない
事実13: 返りらしくない物はＮオルトＣＬ‐Ｌ制約であるししかも華々しい

仮説: あの国際放送は湿気易い
1. 事実6から、推論1: "もしもあの国際放送が高め合わないならば湿気易いしかつ御安い"が導かれる
2. 推論1と事実7から、推論2: "あの国際放送は湿気易くてかつそれは御安い"が導かれる
3. 推論2から、仮説が導かれる

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