そのスプライ校は学び切る
fact1: もしもその国際法学者は切なくないとすれば「そのスプライ校は活用し易いけれど年金準備金だということはない」ということは確かでない fact2: 「その国際法学者は三泊する」ということは確かなら「そのスプライ校は切ないけれどそれはフィルター効果であるということはない」ということは間違っている fact3: この公主は三泊する fact4: 「何かは切ないがそれはフィルター効果でない」ということは成り立たないなら学び切る fact5: とあるものは関連し合わないとすればそれは次年度でない fact6: もしなにがしかの物が年金準備金だとすると学び切らない fact7: もしも「何かは活用し易い一方で切なくない」ということは成り立つということはないとするとそれは年金準備金でない fact8: もし何らかの物は出し難いとしたら「懐胎するかまたは歩き易くないか両方である」ということは確かでない fact9: 「そのスプライ校は活用し易いし年金準備金だ」ということは成り立たない fact10: 仮にこの公主が三泊すればその気道粘膜は学び切るけれどフィルター効果でない fact11: あの腹部手術は活用し易くない fact12: 仮に「何かは懐胎するかもしくは歩き易くない」ということは誤りだとすればそれは三泊する fact13: もしも「なにかは切ないがしかし活用し易くない」ということは成り立つということはないなら年金準備金でない fact14: その国際法学者は切なくない fact15: 仮に「何らかのものは活用し易いが年金準備金でない」ということは成り立たないとすれば「学び切るということはない」ということは本当だ fact16: そのスプライ校は年金準備金であるとするとそれは学び切るということはない fact17: もしその国際法学者は切なくないとしたら「そのスプライ校は活用し易くてまた年金準備金だ」ということは成り立たない
fact1 & fact14 -> int1: 「「そのスプライ校は活用し易いけれど年金準備金であるということはない」ということは真実だ」ということは誤っている; fact15 -> int2: 「「そのスプライ校は活用し易いがしかし年金準備金でない」ということは真実だ」ということは誤りであるとすればそれは学び切らない; int1 & int2 -> hypothesis;
fact1 & fact14 -> int1: ¬({AA}{b} & ¬{AB}{b}); fact15 -> int2: ¬({AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
そのスプライ校は学び切る
fact20 -> int3: 「そのスプライ校は切ないけどフィルター効果でない」ということは成り立たないならそれは学び切る; fact19 -> int4: 「その国際法学者は懐胎するか歩き易くない」ということは成り立たないとすればそれは三泊する; fact21 -> int5: もしその国際法学者は出し難いとすると「懐胎するかそれは歩き易くないかあるいは両方である」ということは間違いだ;
$facts$ = fact1: もしもその国際法学者は切なくないとすれば「そのスプライ校は活用し易いけれど年金準備金だということはない」ということは確かでない fact2: 「その国際法学者は三泊する」ということは確かなら「そのスプライ校は切ないけれどそれはフィルター効果であるということはない」ということは間違っている fact3: この公主は三泊する fact4: 「何かは切ないがそれはフィルター効果でない」ということは成り立たないなら学び切る fact5: とあるものは関連し合わないとすればそれは次年度でない fact6: もしなにがしかの物が年金準備金だとすると学び切らない fact7: もしも「何かは活用し易い一方で切なくない」ということは成り立つということはないとするとそれは年金準備金でない fact8: もし何らかの物は出し難いとしたら「懐胎するかまたは歩き易くないか両方である」ということは確かでない fact9: 「そのスプライ校は活用し易いし年金準備金だ」ということは成り立たない fact10: 仮にこの公主が三泊すればその気道粘膜は学び切るけれどフィルター効果でない fact11: あの腹部手術は活用し易くない fact12: 仮に「何かは懐胎するかもしくは歩き易くない」ということは誤りだとすればそれは三泊する fact13: もしも「なにかは切ないがしかし活用し易くない」ということは成り立つということはないなら年金準備金でない fact14: その国際法学者は切なくない fact15: 仮に「何らかのものは活用し易いが年金準備金でない」ということは成り立たないとすれば「学び切るということはない」ということは本当だ fact16: そのスプライ校は年金準備金であるとするとそれは学び切るということはない fact17: もしその国際法学者は切なくないとしたら「そのスプライ校は活用し易くてまた年金準備金だ」ということは成り立たない ; $hypothesis$ = そのスプライ校は学び切る ; $proof$ = 
fact1 & fact14 -> int1: 「「そのスプライ校は活用し易いけれど年金準備金であるということはない」ということは真実だ」ということは誤っている; fact15 -> int2: 「「そのスプライ校は活用し易いがしかし年金準備金でない」ということは真実だ」ということは誤りであるとすればそれは学び切らない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもその国際法学者は切なくないとすれば「そのスプライ校は活用し易いけれど年金準備金だということはない」ということは確かでない
事実2: 「その国際法学者は三泊する」ということは確かなら「そのスプライ校は切ないけれどそれはフィルター効果であるということはない」ということは間違っている
事実3: この公主は三泊する
事実4: 「何かは切ないがそれはフィルター効果でない」ということは成り立たないなら学び切る
事実5: とあるものは関連し合わないとすればそれは次年度でない
事実6: もしなにがしかの物が年金準備金だとすると学び切らない
事実7: もしも「何かは活用し易い一方で切なくない」ということは成り立つということはないとするとそれは年金準備金でない
事実8: もし何らかの物は出し難いとしたら「懐胎するかまたは歩き易くないか両方である」ということは確かでない
事実9: 「そのスプライ校は活用し易いし年金準備金だ」ということは成り立たない
事実10: 仮にこの公主が三泊すればその気道粘膜は学び切るけれどフィルター効果でない
事実11: あの腹部手術は活用し易くない
事実12: 仮に「何かは懐胎するかもしくは歩き易くない」ということは誤りだとすればそれは三泊する
事実13: もしも「なにかは切ないがしかし活用し易くない」ということは成り立つということはないなら年金準備金でない
事実14: その国際法学者は切なくない
事実15: 仮に「何らかのものは活用し易いが年金準備金でない」ということは成り立たないとすれば「学び切るということはない」ということは本当だ
事実16: そのスプライ校は年金準備金であるとするとそれは学び切るということはない
事実17: もしその国際法学者は切なくないとしたら「そのスプライ校は活用し易くてまた年金準備金だ」ということは成り立たない

仮説: そのスプライ校は学び切る
1. 事実1と事実14から、推論1: "「「そのスプライ校は活用し易いけれど年金準備金であるということはない」ということは真実だ」ということは誤っている"が導かれる
2. 事実15から、推論2: "「「そのスプライ校は活用し易いがしかし年金準備金でない」ということは真実だ」ということは誤りであるとすればそれは学び切らない"が導かれる
3. 推論1と推論2から、仮説が否定される

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