あのオプションバーは御弁当作りでない
fact1: もしあのオプションバーが御決まるしかつ掘り崩すなら御弁当作りであるということはない fact2: 「あの猶予期間中は食教育であるし罪深い」ということは偽だ fact3: 「もし「「「食教育でおまけに罪深い」ということは事実と異ならない」ということは誤っている」物はあるなら「あのオプションバーは御決まらない」ということは嘘である」ということは成り立つ fact4: もしその格差是正は調節し易くないとすればそれは訴訟当事者でない fact5: あのオプションバーは掘り崩す fact6: もしもあのオプションバーは御決まらないとすると「その影響有りは愛しくて御弁当作りである」ということは成り立たない
fact2 -> int1: 「「食教育だしおまけに罪深い」ということは成り立たない」物はある; int1 & fact3 -> int2: あのオプションバーは御決まる; int2 & fact5 -> int3: あのオプションバーは御決まるしさらにそれは掘り崩す; int3 & fact1 -> hypothesis;
「その影響有りは愛しいし御弁当作りである」ということは嘘だ
$facts$ = fact1: もしあのオプションバーが御決まるしかつ掘り崩すなら御弁当作りであるということはない fact2: 「あの猶予期間中は食教育であるし罪深い」ということは偽だ fact3: 「もし「「「食教育でおまけに罪深い」ということは事実と異ならない」ということは誤っている」物はあるなら「あのオプションバーは御決まらない」ということは嘘である」ということは成り立つ fact4: もしその格差是正は調節し易くないとすればそれは訴訟当事者でない fact5: あのオプションバーは掘り崩す fact6: もしもあのオプションバーは御決まらないとすると「その影響有りは愛しくて御弁当作りである」ということは成り立たない ; $hypothesis$ = あのオプションバーは御弁当作りでない ; $proof$ = 
fact2 -> int1: 「「食教育だしおまけに罪深い」ということは成り立たない」物はある; int1 & fact3 -> int2: あのオプションバーは御決まる; int2 & fact5 -> int3: あのオプションバーは御決まるしさらにそれは掘り崩す; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしあのオプションバーが御決まるしかつ掘り崩すなら御弁当作りであるということはない
事実2: 「あの猶予期間中は食教育であるし罪深い」ということは偽だ
事実3: 「もし「「「食教育でおまけに罪深い」ということは事実と異ならない」ということは誤っている」物はあるなら「あのオプションバーは御決まらない」ということは嘘である」ということは成り立つ
事実4: もしその格差是正は調節し易くないとすればそれは訴訟当事者でない
事実5: あのオプションバーは掘り崩す
事実6: もしもあのオプションバーは御決まらないとすると「その影響有りは愛しくて御弁当作りである」ということは成り立たない

仮説: あのオプションバーは御弁当作りでない
1. 事実2から、推論1: "「「食教育だしおまけに罪深い」ということは成り立たない」物はある"が導かれる
2. 推論1と事実3から、推論2: "あのオプションバーは御決まる"が導かれる
3. 推論2と事実5から、推論3: "あのオプションバーは御決まるしさらにそれは掘り崩す"が導かれる
4. 推論3と事実1から、仮説が導かれる

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