その科目区分はパブリシティ権だ
fact1: 仮に「あの中途失聴者は食らわせる」ということは成り立つとしたら「その科目区分は埋設しないけど好まし」ということは誤りだ fact2: あの中途失聴者は向かい合わせない fact3: 仮に「何かはパブリシティ権であるしさらに好まし」ということは誤りであるならば「パブリシティ権でない」ということは正しい fact4: もし仮にあの中途失聴者がパブリシティ権である一方で向かい合わせないなら同梱する fact5: もしもあの中途失聴者は好ましとしたら「その科目区分は食らわせないけど同梱する」ということは間違いだ fact6: 「あの中途失聴者がパブリシティ権だしさらにそれは好まし」ということは間違っている fact7: 仮に「その科目区分は食らわせないけれど同梱する」ということは成り立たないとするとパブリシティ権である fact8: あの中途失聴者は好ましなら「その科目区分は食らわせるししかもそれは同梱する」ということは成り立たない fact9: もしあの中途失聴者はパブリシティ権であるとしたら取り掛かり易い fact10: あの中途失聴者が埋設するが向かい合わせるということはないならば好まし fact11: 「「あの中途失聴者は向かい合わせるししかもそれは食らわせる」ということは成り立つということはない」ということは確かだ fact12: もし仮にあの中途失聴者が埋設するしそれが向かい合わせれば好まし fact13: あの中途失聴者は埋設するけれど向かい合わせるということはない fact14: この証明期間は勃起し切るけどしつこくない fact15: もしもあの中途失聴者が向かい合わせるとするとそれはパブリシティ権である fact16: 「その科目区分は埋設するし食らわせる」ということは偽である fact17: もしも「その科目区分は食らわせる」ということは事実だとしたらそれはパブリシティ権である fact18: あの中途失聴者が埋設するけど食らわせないなら同梱する
fact10 & fact13 -> int1: あの中途失聴者は好まし; int1 & fact5 -> int2: 「その科目区分は食らわせない一方で同梱する」ということは成り立たない; int2 & fact7 -> hypothesis;
fact10 & fact13 -> int1: {B}{a}; int1 & fact5 -> int2: ¬(¬{A}{b} & {C}{b}); int2 & fact7 -> hypothesis;
その科目区分はパブリシティ権だということはない
fact19 -> int3: もし仮に「その科目区分はパブリシティ権であるしさらに好まし」ということは事実と異なるとしたらパブリシティ権でない;
$facts$ = fact1: 仮に「あの中途失聴者は食らわせる」ということは成り立つとしたら「その科目区分は埋設しないけど好まし」ということは誤りだ fact2: あの中途失聴者は向かい合わせない fact3: 仮に「何かはパブリシティ権であるしさらに好まし」ということは誤りであるならば「パブリシティ権でない」ということは正しい fact4: もし仮にあの中途失聴者がパブリシティ権である一方で向かい合わせないなら同梱する fact5: もしもあの中途失聴者は好ましとしたら「その科目区分は食らわせないけど同梱する」ということは間違いだ fact6: 「あの中途失聴者がパブリシティ権だしさらにそれは好まし」ということは間違っている fact7: 仮に「その科目区分は食らわせないけれど同梱する」ということは成り立たないとするとパブリシティ権である fact8: あの中途失聴者は好ましなら「その科目区分は食らわせるししかもそれは同梱する」ということは成り立たない fact9: もしあの中途失聴者はパブリシティ権であるとしたら取り掛かり易い fact10: あの中途失聴者が埋設するが向かい合わせるということはないならば好まし fact11: 「「あの中途失聴者は向かい合わせるししかもそれは食らわせる」ということは成り立つということはない」ということは確かだ fact12: もし仮にあの中途失聴者が埋設するしそれが向かい合わせれば好まし fact13: あの中途失聴者は埋設するけれど向かい合わせるということはない fact14: この証明期間は勃起し切るけどしつこくない fact15: もしもあの中途失聴者が向かい合わせるとするとそれはパブリシティ権である fact16: 「その科目区分は埋設するし食らわせる」ということは偽である fact17: もしも「その科目区分は食らわせる」ということは事実だとしたらそれはパブリシティ権である fact18: あの中途失聴者が埋設するけど食らわせないなら同梱する ; $hypothesis$ = その科目区分はパブリシティ権だ ; $proof$ = 
fact10 & fact13 -> int1: あの中途失聴者は好まし; int1 & fact5 -> int2: 「その科目区分は食らわせない一方で同梱する」ということは成り立たない; int2 & fact7 -> hypothesis; __PROVED__
事実1: 仮に「あの中途失聴者は食らわせる」ということは成り立つとしたら「その科目区分は埋設しないけど好まし」ということは誤りだ
事実2: あの中途失聴者は向かい合わせない
事実3: 仮に「何かはパブリシティ権であるしさらに好まし」ということは誤りであるならば「パブリシティ権でない」ということは正しい
事実4: もし仮にあの中途失聴者がパブリシティ権である一方で向かい合わせないなら同梱する
事実5: もしもあの中途失聴者は好ましとしたら「その科目区分は食らわせないけど同梱する」ということは間違いだ
事実6: 「あの中途失聴者がパブリシティ権だしさらにそれは好まし」ということは間違っている
事実7: 仮に「その科目区分は食らわせないけれど同梱する」ということは成り立たないとするとパブリシティ権である
事実8: あの中途失聴者は好ましなら「その科目区分は食らわせるししかもそれは同梱する」ということは成り立たない
事実9: もしあの中途失聴者はパブリシティ権であるとしたら取り掛かり易い
事実10: あの中途失聴者が埋設するが向かい合わせるということはないならば好まし
事実11: 「「あの中途失聴者は向かい合わせるししかもそれは食らわせる」ということは成り立つということはない」ということは確かだ
事実12: もし仮にあの中途失聴者が埋設するしそれが向かい合わせれば好まし
事実13: あの中途失聴者は埋設するけれど向かい合わせるということはない
事実14: この証明期間は勃起し切るけどしつこくない
事実15: もしもあの中途失聴者が向かい合わせるとするとそれはパブリシティ権である
事実16: 「その科目区分は埋設するし食らわせる」ということは偽である
事実17: もしも「その科目区分は食らわせる」ということは事実だとしたらそれはパブリシティ権である
事実18: あの中途失聴者が埋設するけど食らわせないなら同梱する

仮説: その科目区分はパブリシティ権だ
1. 事実10と事実13から、推論1: "あの中途失聴者は好まし"が導かれる
2. 推論1と事実5から、推論2: "「その科目区分は食らわせない一方で同梱する」ということは成り立たない"が導かれる
3. 推論2と事実7から、仮説が導かれる

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