あの小家族は獣染みるし加えてそれは手広い
fact1: あの基本レベルは寮母さんだ fact2: 仮にこの戦争責任が獣染みるならその追記情報は行軍する fact3: あの基本レベルが寮母さんであるならこの戦争責任は拡張する fact4: 仮に「拡張するし更に行軍する」ものがあるとするとその修行者は獣染みない fact5: この戦争責任は行軍するしそれに授賞式である fact6: もしなんらかのものは行軍するとすると「それは大白法である」ということは正しい fact7: 仮にその修行者が獣染みるということはないとすればあの小家族は獣染みるしおまけに手広い fact8: 「授賞式であるか手広い」物はある fact9: もし「授賞式であるかもしくは手広い」ものがあるとしたらこの戦争責任は獣染みる
fact3 & fact1 -> int1: 「この戦争責任は拡張する」ということは本当だ; fact5 -> int2: この戦争責任は行軍する; int1 & int2 -> int3: この戦争責任は拡張するしそれは行軍する; int3 -> int4: なにかは拡張するし行軍する; int4 & fact4 -> int5: その修行者は獣染みない; int5 & fact7 -> hypothesis;
その追記情報は拡張するし更にそれは大白法である
fact11 -> int6: もし仮にその追記情報が行軍すれば大白法である; fact13 & fact10 -> int7: この戦争責任は獣染みる; fact12 & int7 -> int8: その追記情報は行軍する; int6 & int8 -> int9: その追記情報は大白法である;
$facts$ = fact1: あの基本レベルは寮母さんだ fact2: 仮にこの戦争責任が獣染みるならその追記情報は行軍する fact3: あの基本レベルが寮母さんであるならこの戦争責任は拡張する fact4: 仮に「拡張するし更に行軍する」ものがあるとするとその修行者は獣染みない fact5: この戦争責任は行軍するしそれに授賞式である fact6: もしなんらかのものは行軍するとすると「それは大白法である」ということは正しい fact7: 仮にその修行者が獣染みるということはないとすればあの小家族は獣染みるしおまけに手広い fact8: 「授賞式であるか手広い」物はある fact9: もし「授賞式であるかもしくは手広い」ものがあるとしたらこの戦争責任は獣染みる ; $hypothesis$ = あの小家族は獣染みるし加えてそれは手広い ; $proof$ = 
fact3 & fact1 -> int1: 「この戦争責任は拡張する」ということは本当だ; fact5 -> int2: この戦争責任は行軍する; int1 & int2 -> int3: この戦争責任は拡張するしそれは行軍する; int3 -> int4: なにかは拡張するし行軍する; int4 & fact4 -> int5: その修行者は獣染みない; int5 & fact7 -> hypothesis; __PROVED__
事実1: あの基本レベルは寮母さんだ
事実2: 仮にこの戦争責任が獣染みるならその追記情報は行軍する
事実3: あの基本レベルが寮母さんであるならこの戦争責任は拡張する
事実4: 仮に「拡張するし更に行軍する」ものがあるとするとその修行者は獣染みない
事実5: この戦争責任は行軍するしそれに授賞式である
事実6: もしなんらかのものは行軍するとすると「それは大白法である」ということは正しい
事実7: 仮にその修行者が獣染みるということはないとすればあの小家族は獣染みるしおまけに手広い
事実8: 「授賞式であるか手広い」物はある
事実9: もし「授賞式であるかもしくは手広い」ものがあるとしたらこの戦争責任は獣染みる

仮説: あの小家族は獣染みるし加えてそれは手広い
1. 事実3と事実1から、推論1: "「この戦争責任は拡張する」ということは本当だ"が導かれる
2. 事実5から、推論2: "この戦争責任は行軍する"が導かれる
3. 推論1と推論2から、推論3: "この戦争責任は拡張するしそれは行軍する"が導かれる
4. 推論3から、推論4: "なにかは拡張するし行軍する"が導かれる
5. 推論4と事実4から、推論5: "その修行者は獣染みない"が導かれる
6. 推論5と事実7から、仮説が導かれる

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