そのＮＢＳは物価安定でなくておまけに号令しない
fact1: その終了日は嫉妬深くない fact2: もし仮に「「意気込まないしおまけに物珍しくない」ということは誤っている」ものがあるとしたらこの基地局は号令する fact3: 仮にこの肉粒は空恐ろしいならば「この基地局は意気込む」ということは正しい fact4: その終了日が要求しないとしたらこの肉粒は仲間らしくない fact5: なにかは空恐ろしいとすると「それは意気込むということはなくて物珍しくない」ということは本当でない fact6: 仮に何らかの物が輸送活動でないなら仲間らしいししかも要求する fact7: もしあの畑違いは薄ら寒いとすると「居するかもしくはそれは嫉妬深くないかあるいはどちらもだ」ということは嘘だ fact8: もし仮にその終了日が嫉妬深くないとするとそれは要求するということはないか輸送活動でないか両方ともだ fact9: そのＮＢＳは物価安定でなくて加えて号令しない fact10: もしも「「居するかもしくは嫉妬深くないかあるいは両方だ」ということは間違いな」物があるとすればその終了日は輸送活動でない fact11: もし「「意気込む」ということは正しい」物があればそのＮＢＳは肥大型心筋症でなくてそれは物価安定でない fact12: もし仮にこの肉粒が物珍しいならばこの基地局は意気込む fact13: あの畑違いは薄ら寒い fact14: もしもなんらかの物が交易関係であるということはないとしたらそれは物珍しいかもしくはそれは空恐ろしいかあるいは両方ともである fact15: 「仲間らしいか交易関係であるということはないかまたは両方である」物があればこの肉粒は交易関係でない fact16: 仮にあるものが仲間らしくないとすれば空恐ろしいしまた交易関係である
fact9 -> hypothesis;
fact9 -> hypothesis;
そのＮＢＳは肥大型心筋症でなくてそれは物価安定でない
fact18 -> int1: もし仮にこの肉粒は交易関係でないとするとそれは物珍しいかあるいは空恐ろしいか両方だ; fact25 -> int2: もしもその終了日が輸送活動だということはないとしたらそれは仲間らしいし要求する; fact19 & fact23 -> int3: 「あの畑違いは居するかまたは嫉妬深くないかもしくは両方ともだ」ということは間違っている; int3 -> int4: 「「居するかもしくは嫉妬深くない」ということは嘘である」物はある; int4 & fact24 -> int5: 「その終了日は輸送活動でない」ということは成り立つ; int2 & int5 -> int6: その終了日が仲間らしいしその上要求する; int6 -> int7: その終了日は仲間らしい; int7 -> int8: その終了日は仲間らしいかもしくはそれは交易関係でないかもしくはどちらもだ; int8 -> int9: 「「仲間らしいかもしくは交易関係でない」ということは事実と異ならない」物はある; int9 & fact17 -> int10: この肉粒は交易関係でない; int1 & int10 -> int11: この肉粒は物珍しいかあるいは空恐ろしい; int11 & fact20 & fact22 -> int12: この基地局は意気込む; int12 -> int13: なんらかのものは意気込む; int13 & fact21 -> hypothesis;
$facts$ = fact1: その終了日は嫉妬深くない fact2: もし仮に「「意気込まないしおまけに物珍しくない」ということは誤っている」ものがあるとしたらこの基地局は号令する fact3: 仮にこの肉粒は空恐ろしいならば「この基地局は意気込む」ということは正しい fact4: その終了日が要求しないとしたらこの肉粒は仲間らしくない fact5: なにかは空恐ろしいとすると「それは意気込むということはなくて物珍しくない」ということは本当でない fact6: 仮に何らかの物が輸送活動でないなら仲間らしいししかも要求する fact7: もしあの畑違いは薄ら寒いとすると「居するかもしくはそれは嫉妬深くないかあるいはどちらもだ」ということは嘘だ fact8: もし仮にその終了日が嫉妬深くないとするとそれは要求するということはないか輸送活動でないか両方ともだ fact9: そのＮＢＳは物価安定でなくて加えて号令しない fact10: もしも「「居するかもしくは嫉妬深くないかあるいは両方だ」ということは間違いな」物があるとすればその終了日は輸送活動でない fact11: もし「「意気込む」ということは正しい」物があればそのＮＢＳは肥大型心筋症でなくてそれは物価安定でない fact12: もし仮にこの肉粒が物珍しいならばこの基地局は意気込む fact13: あの畑違いは薄ら寒い fact14: もしもなんらかの物が交易関係であるということはないとしたらそれは物珍しいかもしくはそれは空恐ろしいかあるいは両方ともである fact15: 「仲間らしいか交易関係であるということはないかまたは両方である」物があればこの肉粒は交易関係でない fact16: 仮にあるものが仲間らしくないとすれば空恐ろしいしまた交易関係である ; $hypothesis$ = そのＮＢＳは物価安定でなくておまけに号令しない ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: その終了日は嫉妬深くない
事実2: もし仮に「「意気込まないしおまけに物珍しくない」ということは誤っている」ものがあるとしたらこの基地局は号令する
事実3: 仮にこの肉粒は空恐ろしいならば「この基地局は意気込む」ということは正しい
事実4: その終了日が要求しないとしたらこの肉粒は仲間らしくない
事実5: なにかは空恐ろしいとすると「それは意気込むということはなくて物珍しくない」ということは本当でない
事実6: 仮に何らかの物が輸送活動でないなら仲間らしいししかも要求する
事実7: もしあの畑違いは薄ら寒いとすると「居するかもしくはそれは嫉妬深くないかあるいはどちらもだ」ということは嘘だ
事実8: もし仮にその終了日が嫉妬深くないとするとそれは要求するということはないか輸送活動でないか両方ともだ
事実9: そのＮＢＳは物価安定でなくて加えて号令しない
事実10: もしも「「居するかもしくは嫉妬深くないかあるいは両方だ」ということは間違いな」物があるとすればその終了日は輸送活動でない
事実11: もし「「意気込む」ということは正しい」物があればそのＮＢＳは肥大型心筋症でなくてそれは物価安定でない
事実12: もし仮にこの肉粒が物珍しいならばこの基地局は意気込む
事実13: あの畑違いは薄ら寒い
事実14: もしもなんらかの物が交易関係であるということはないとしたらそれは物珍しいかもしくはそれは空恐ろしいかあるいは両方ともである
事実15: 「仲間らしいか交易関係であるということはないかまたは両方である」物があればこの肉粒は交易関係でない
事実16: 仮にあるものが仲間らしくないとすれば空恐ろしいしまた交易関係である

仮説: そのＮＢＳは物価安定でなくておまけに号令しない
1. 事実9から、仮説が導かれる

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