その田主は丸い
fact1: もし何らかのものが発病するとすればそれは所らしくないけど騒がしい fact2: もし仮にこの上下動は背けるなら「この中一は嘗めしゃぶらないしそれは島津軍でない」ということは嘘だ fact3: 太しないか聞き取り難いかまたは両方ともな物は丸い fact4: もしあの功徳が古くないとすればそれは加工し易くないけどトリミングする fact5: 仮に聞き取り難いものがあるとするとその田主は太しないかあるいはそれは聞き取り難いかあるいは両方ともだ fact6: 仮になんらかの物は思い出しないかまたは押し易いかあるいはどちらもだとすると委託する fact7: その田主は太しかまたは聞き取り難いかどちらもである fact8: もしもその文民が背けるならこの上下動は背ける fact9: もしある物が観光産業だとすれば中傷する fact10: 「「聞き取り難い」ということは成り立つ」ものはある fact11: もしも聞き取り難い物があるならその田主は太しかもしくは聞き取り難い fact12: なにかはぞっとするならその文民は感嘆するしまたそれは背ける fact13: なんらかのものが太しということはないとするとそれは丸い fact14: もしその田主が太しということはないならばそれは丸い fact15: 「もし仮にとあるものが丸いとしたらその田主は区別出来ないかもしくは丸いか両方ともである」ということは真実である fact16: 仮に「「利用等だ」ということは成り立つ」ものがあるとしたらこの七卿は動き難いということはないか利用等であるかもしくはどちらもだ fact17: もしもなにがしかのものが加工し易くないけれどトリミングするとすればあの半年前はぞっとする fact18: 「この中一は嘗めしゃぶらなくて加えてそれは島津軍でない」ということは間違いであるならそのクリアレンズは発病する fact19: 「あの功徳は古くない」ということは真実である
fact3 -> int1: もしその田主は太しないかまたは聞き取り難いかまたは両方であるとしたらそれは丸い; fact10 & fact5 -> int2: その田主は太しないかもしくは聞き取り難いかあるいは両方ともだ; int1 & int2 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; fact10 & fact5 -> int2: (¬{AA}{aa} v {AB}{aa}); int1 & int2 -> hypothesis;
その田主は丸くない
fact22 -> int3: もしそのクリアレンズが発病するとすると所らしくないし騒がしい; fact20 & fact24 -> int4: あの功徳は加工し易いということはないがそれはトリミングする; int4 -> int5: 「加工し易いということはない一方でトリミングする」ものはある; int5 & fact23 -> int6: この半年前はぞっとする; int6 -> int7: 何らかの物はぞっとする; int7 & fact21 -> int8: その文民は感嘆するし背ける; int8 -> int9: 「その文民は背ける」ということは確かだ; fact27 & int9 -> int10: この上下動は背ける; fact25 & int10 -> int11: 「この中一は嘗めしゃぶらないし島津軍でない」ということは偽である; fact26 & int11 -> int12: そのクリアレンズは発病する; int3 & int12 -> int13: そのクリアレンズは所らしいということはないけど騒がしい; int13 -> int14: 所らしいということはなくてそれに騒がしいものはある;
$facts$ = fact1: もし何らかのものが発病するとすればそれは所らしくないけど騒がしい fact2: もし仮にこの上下動は背けるなら「この中一は嘗めしゃぶらないしそれは島津軍でない」ということは嘘だ fact3: 太しないか聞き取り難いかまたは両方ともな物は丸い fact4: もしあの功徳が古くないとすればそれは加工し易くないけどトリミングする fact5: 仮に聞き取り難いものがあるとするとその田主は太しないかあるいはそれは聞き取り難いかあるいは両方ともだ fact6: 仮になんらかの物は思い出しないかまたは押し易いかあるいはどちらもだとすると委託する fact7: その田主は太しかまたは聞き取り難いかどちらもである fact8: もしもその文民が背けるならこの上下動は背ける fact9: もしある物が観光産業だとすれば中傷する fact10: 「「聞き取り難い」ということは成り立つ」ものはある fact11: もしも聞き取り難い物があるならその田主は太しかもしくは聞き取り難い fact12: なにかはぞっとするならその文民は感嘆するしまたそれは背ける fact13: なんらかのものが太しということはないとするとそれは丸い fact14: もしその田主が太しということはないならばそれは丸い fact15: 「もし仮にとあるものが丸いとしたらその田主は区別出来ないかもしくは丸いか両方ともである」ということは真実である fact16: 仮に「「利用等だ」ということは成り立つ」ものがあるとしたらこの七卿は動き難いということはないか利用等であるかもしくはどちらもだ fact17: もしもなにがしかのものが加工し易くないけれどトリミングするとすればあの半年前はぞっとする fact18: 「この中一は嘗めしゃぶらなくて加えてそれは島津軍でない」ということは間違いであるならそのクリアレンズは発病する fact19: 「あの功徳は古くない」ということは真実である ; $hypothesis$ = その田主は丸い ; $proof$ = 
fact3 -> int1: もしその田主は太しないかまたは聞き取り難いかまたは両方であるとしたらそれは丸い; fact10 & fact5 -> int2: その田主は太しないかもしくは聞き取り難いかあるいは両方ともだ; int1 & int2 -> hypothesis; __PROVED__
事実1: もし何らかのものが発病するとすればそれは所らしくないけど騒がしい
事実2: もし仮にこの上下動は背けるなら「この中一は嘗めしゃぶらないしそれは島津軍でない」ということは嘘だ
事実3: 太しないか聞き取り難いかまたは両方ともな物は丸い
事実4: もしあの功徳が古くないとすればそれは加工し易くないけどトリミングする
事実5: 仮に聞き取り難いものがあるとするとその田主は太しないかあるいはそれは聞き取り難いかあるいは両方ともだ
事実6: 仮になんらかの物は思い出しないかまたは押し易いかあるいはどちらもだとすると委託する
事実7: その田主は太しかまたは聞き取り難いかどちらもである
事実8: もしもその文民が背けるならこの上下動は背ける
事実9: もしある物が観光産業だとすれば中傷する
事実10: 「「聞き取り難い」ということは成り立つ」ものはある
事実11: もしも聞き取り難い物があるならその田主は太しかもしくは聞き取り難い
事実12: なにかはぞっとするならその文民は感嘆するしまたそれは背ける
事実13: なんらかのものが太しということはないとするとそれは丸い
事実14: もしその田主が太しということはないならばそれは丸い
事実15: 「もし仮にとあるものが丸いとしたらその田主は区別出来ないかもしくは丸いか両方ともである」ということは真実である
事実16: 仮に「「利用等だ」ということは成り立つ」ものがあるとしたらこの七卿は動き難いということはないか利用等であるかもしくはどちらもだ
事実17: もしもなにがしかのものが加工し易くないけれどトリミングするとすればあの半年前はぞっとする
事実18: 「この中一は嘗めしゃぶらなくて加えてそれは島津軍でない」ということは間違いであるならそのクリアレンズは発病する
事実19: 「あの功徳は古くない」ということは真実である

仮説: その田主は丸い
1. 事実3から、推論1: "もしその田主は太しないかまたは聞き取り難いかまたは両方であるとしたらそれは丸い"が導かれる
2. 事実10と事実5から、推論2: "その田主は太しないかもしくは聞き取り難いかあるいは両方ともだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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