このライト・フィールドはＨＢＲである
fact1: その環境要素が来辛くて更に掛け合いだとすればあの得点力は来辛くない fact2: もしこの制限利息が行われ易くないとすればあの環境要素は来辛くてそれは掛け合いである fact3: 来辛くない物はいじらしいかもしくは喘ぐかあるいは両方ともである fact4: 仮にその得点力がクロスケーブルであるならばこのライト・フィールドはＨＢＲだ fact5: とあるものは行われ易いとしたら「来辛くないしおまけに掛け合いでない」ということは正しくない fact6: もしもあの寺名がされ兼ねればこの機構改革はされ兼ねる fact7: もし仮にこの制限利息が仲間らしいならばされ兼ねないしその上まどろっこしい fact8: その得点力はクロスケーブルである fact9: もし仮にあの寺名が仲間らしいならばこの機構改革はされ兼ねる fact10: もしもこの制限利息がされ兼ねらないがまどろっこしいとしたらその環境要素は行われ易い fact11: 「この経験知はされ兼ねる」ということは偽でない fact12: このライト・フィールドは甘ったるい fact13: 仮に「「その環境要素は来辛くないし掛け合いでない」ということは事実と異なる」ということは正しいとすればそれは来辛い fact14: もし「その得点力はＨＢＲである」ということは本当だとしたら「このライト・フィールドはクロスケーブルである」ということは成り立つ fact15: その子猫はＨＢＲである fact16: 「され兼ねる」物があるとするとあの寺名はされ兼ねるかそれは仲間らしいかあるいは両方である fact17: 仮になにがしかのものがいじらしくないならＨＢＲであるしさらにそれはクロスケーブルであるということはない fact18: その得点力がＨＢＲだがしかしクロスケーブルでないとしたらこのライト・フィールドはクロスケーブルだ fact19: もしもこの機構改革はされ兼ねるとすれば「「この制限利息はまどろっこしくらないけれどそれは行われ易い」ということは真実である」ということは誤っている fact20: もし「「とある物はまどろっこしくらないけれど行われ易い」ということは確かだ」ということは成り立たないとするとそれは行われ易いない
fact4 & fact8 -> hypothesis;
fact4 & fact8 -> hypothesis;
このライト・フィールドはＨＢＲでない
fact29 -> int1: もしもその得点力が来辛いということはないとしたらいじらしいかまたは喘ぐかあるいはどちらもである; fact25 -> int2: 仮に「この制限利息はまどろっこしくらないけど行われ易い」ということは成り立たないとしたら「それは行われ易いない」ということは事実だ; fact26 -> int3: 「され兼ねる」ものはある; int3 & fact23 -> int4: あの寺名はされ兼ねるかまたはそれは仲間らしいかもしくはどちらもである; int4 & fact21 & fact27 -> int5: この機構改革はされ兼ねる; fact28 & int5 -> int6: 「この制限利息はまどろっこしくらないけれどそれは行われ易い」ということは嘘だ; int2 & int6 -> int7: この制限利息は行われ易くない; fact24 & int7 -> int8: その環境要素は来辛くておまけにそれは掛け合いだ; fact22 & int8 -> int9: その得点力は来辛くない; int1 & int9 -> int10: その得点力はいじらしいかもしくはそれは喘ぐかもしくは両方だ;
$facts$ = fact1: その環境要素が来辛くて更に掛け合いだとすればあの得点力は来辛くない fact2: もしこの制限利息が行われ易くないとすればあの環境要素は来辛くてそれは掛け合いである fact3: 来辛くない物はいじらしいかもしくは喘ぐかあるいは両方ともである fact4: 仮にその得点力がクロスケーブルであるならばこのライト・フィールドはＨＢＲだ fact5: とあるものは行われ易いとしたら「来辛くないしおまけに掛け合いでない」ということは正しくない fact6: もしもあの寺名がされ兼ねればこの機構改革はされ兼ねる fact7: もし仮にこの制限利息が仲間らしいならばされ兼ねないしその上まどろっこしい fact8: その得点力はクロスケーブルである fact9: もし仮にあの寺名が仲間らしいならばこの機構改革はされ兼ねる fact10: もしもこの制限利息がされ兼ねらないがまどろっこしいとしたらその環境要素は行われ易い fact11: 「この経験知はされ兼ねる」ということは偽でない fact12: このライト・フィールドは甘ったるい fact13: 仮に「「その環境要素は来辛くないし掛け合いでない」ということは事実と異なる」ということは正しいとすればそれは来辛い fact14: もし「その得点力はＨＢＲである」ということは本当だとしたら「このライト・フィールドはクロスケーブルである」ということは成り立つ fact15: その子猫はＨＢＲである fact16: 「され兼ねる」物があるとするとあの寺名はされ兼ねるかそれは仲間らしいかあるいは両方である fact17: 仮になにがしかのものがいじらしくないならＨＢＲであるしさらにそれはクロスケーブルであるということはない fact18: その得点力がＨＢＲだがしかしクロスケーブルでないとしたらこのライト・フィールドはクロスケーブルだ fact19: もしもこの機構改革はされ兼ねるとすれば「「この制限利息はまどろっこしくらないけれどそれは行われ易い」ということは真実である」ということは誤っている fact20: もし「「とある物はまどろっこしくらないけれど行われ易い」ということは確かだ」ということは成り立たないとするとそれは行われ易いない ; $hypothesis$ = このライト・フィールドはＨＢＲである ; $proof$ = 
fact4 & fact8 -> hypothesis; __PROVED__
事実1: その環境要素が来辛くて更に掛け合いだとすればあの得点力は来辛くない
事実2: もしこの制限利息が行われ易くないとすればあの環境要素は来辛くてそれは掛け合いである
事実3: 来辛くない物はいじらしいかもしくは喘ぐかあるいは両方ともである
事実4: 仮にその得点力がクロスケーブルであるならばこのライト・フィールドはＨＢＲだ
事実5: とあるものは行われ易いとしたら「来辛くないしおまけに掛け合いでない」ということは正しくない
事実6: もしもあの寺名がされ兼ねればこの機構改革はされ兼ねる
事実7: もし仮にこの制限利息が仲間らしいならばされ兼ねないしその上まどろっこしい
事実8: その得点力はクロスケーブルである
事実9: もし仮にあの寺名が仲間らしいならばこの機構改革はされ兼ねる
事実10: もしもこの制限利息がされ兼ねらないがまどろっこしいとしたらその環境要素は行われ易い
事実11: 「この経験知はされ兼ねる」ということは偽でない
事実12: このライト・フィールドは甘ったるい
事実13: 仮に「「その環境要素は来辛くないし掛け合いでない」ということは事実と異なる」ということは正しいとすればそれは来辛い
事実14: もし「その得点力はＨＢＲである」ということは本当だとしたら「このライト・フィールドはクロスケーブルである」ということは成り立つ
事実15: その子猫はＨＢＲである
事実16: 「され兼ねる」物があるとするとあの寺名はされ兼ねるかそれは仲間らしいかあるいは両方である
事実17: 仮になにがしかのものがいじらしくないならＨＢＲであるしさらにそれはクロスケーブルであるということはない
事実18: その得点力がＨＢＲだがしかしクロスケーブルでないとしたらこのライト・フィールドはクロスケーブルだ
事実19: もしもこの機構改革はされ兼ねるとすれば「「この制限利息はまどろっこしくらないけれどそれは行われ易い」ということは真実である」ということは誤っている
事実20: もし「「とある物はまどろっこしくらないけれど行われ易い」ということは確かだ」ということは成り立たないとするとそれは行われ易いない

仮説: このライト・フィールドはＨＢＲである
1. 事実4と事実8から、仮説が導かれる

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