その女性国際戦犯法廷はファンドでない
fact1: もしもある物が書き連ねるとすればファンドである fact2: 「この指向は掻き易いし加えて価格差別だ」ということは事実と異なるとしたらその女性国際戦犯法廷は書き連ねない fact3: 「この指向は命運でしかも負担問題だ」ということは成り立たない fact4: もしもこの指向は負担問題でないとすれば「それは繕いであるかむず痒い」ということは間違っている fact5: 「この指向は掻き易いしその上価格差別だ」ということは真実でない fact6: もしもなにがしかの物が各艦長でない一方で書き連ねるとしたらこのバラ科はファンドでない fact7: 掻き易くないものは書き連ねない fact8: とあるものが注射するならそれは各艦長でなくて書き連ねる fact9: 「とある物は命運であるししかも負担問題である」ということは成り立たないとするとそれは負担問題でない fact10: 首尾良いということはないものは二人するししかも注射する fact11: もし「何らかのものは繕いであるかもしくはそれはむず痒い」ということは偽ならばそれは首尾良くない fact12: もしも何らかのものは書き連ねないとすれば「それはファンドでない」ということは成り立つ
fact2 & fact5 -> int1: その女性国際戦犯法廷は書き連ねない; fact12 -> int2: 仮にその女性国際戦犯法廷が書き連ねないとしたらそれはファンドでない; int1 & int2 -> hypothesis;
このバラ科はファンドでない
fact15 -> int3: もしこの指向が注射すればそれは各艦長でないけれど書き連ねる; fact16 -> int4: もし仮にこの指向が首尾良いということはないなら二人するししかも注射する; fact17 -> int5: 「「この指向は繕いであるかもしくはむず痒いかもしくは両方ともだ」ということは事実である」ということは間違いだとしたらそれは首尾良いということはない; fact18 -> int6: 仮に「この指向は命運だし負担問題だ」ということは確かでないとすれば負担問題でない; int6 & fact13 -> int7: この指向は負担問題でない; fact19 & int7 -> int8: 「この指向は繕いであるかあるいはむず痒いかあるいはどちらもである」ということは誤りだ; int5 & int8 -> int9: この指向は首尾良くない; int4 & int9 -> int10: この指向は二人するししかもそれは注射する; int10 -> int11: この指向は注射する; int3 & int11 -> int12: この指向は各艦長でないが書き連ねる; int12 -> int13: 「各艦長でないし書き連ねる」物はある; int13 & fact14 -> hypothesis;
$facts$ = fact1: もしもある物が書き連ねるとすればファンドである fact2: 「この指向は掻き易いし加えて価格差別だ」ということは事実と異なるとしたらその女性国際戦犯法廷は書き連ねない fact3: 「この指向は命運でしかも負担問題だ」ということは成り立たない fact4: もしもこの指向は負担問題でないとすれば「それは繕いであるかむず痒い」ということは間違っている fact5: 「この指向は掻き易いしその上価格差別だ」ということは真実でない fact6: もしもなにがしかの物が各艦長でない一方で書き連ねるとしたらこのバラ科はファンドでない fact7: 掻き易くないものは書き連ねない fact8: とあるものが注射するならそれは各艦長でなくて書き連ねる fact9: 「とある物は命運であるししかも負担問題である」ということは成り立たないとするとそれは負担問題でない fact10: 首尾良いということはないものは二人するししかも注射する fact11: もし「何らかのものは繕いであるかもしくはそれはむず痒い」ということは偽ならばそれは首尾良くない fact12: もしも何らかのものは書き連ねないとすれば「それはファンドでない」ということは成り立つ ; $hypothesis$ = その女性国際戦犯法廷はファンドでない ; $proof$ = 
fact2 & fact5 -> int1: その女性国際戦犯法廷は書き連ねない; fact12 -> int2: 仮にその女性国際戦犯法廷が書き連ねないとしたらそれはファンドでない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもある物が書き連ねるとすればファンドである
事実2: 「この指向は掻き易いし加えて価格差別だ」ということは事実と異なるとしたらその女性国際戦犯法廷は書き連ねない
事実3: 「この指向は命運でしかも負担問題だ」ということは成り立たない
事実4: もしもこの指向は負担問題でないとすれば「それは繕いであるかむず痒い」ということは間違っている
事実5: 「この指向は掻き易いしその上価格差別だ」ということは真実でない
事実6: もしもなにがしかの物が各艦長でない一方で書き連ねるとしたらこのバラ科はファンドでない
事実7: 掻き易くないものは書き連ねない
事実8: とあるものが注射するならそれは各艦長でなくて書き連ねる
事実9: 「とある物は命運であるししかも負担問題である」ということは成り立たないとするとそれは負担問題でない
事実10: 首尾良いということはないものは二人するししかも注射する
事実11: もし「何らかのものは繕いであるかもしくはそれはむず痒い」ということは偽ならばそれは首尾良くない
事実12: もしも何らかのものは書き連ねないとすれば「それはファンドでない」ということは成り立つ

仮説: その女性国際戦犯法廷はファンドでない
1. 事実2と事実5から、推論1: "その女性国際戦犯法廷は書き連ねない"が導かれる
2. 事実12から、推論2: "仮にその女性国際戦犯法廷が書き連ねないとしたらそれはファンドでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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