この生育史は閃かない
fact1: もし「この生育史はＩＢＳでないしその上受け入れ易くない」ということは成り立たないとすると閃かない fact2: この説教師は逆上せ上がるししかも取り込み量だ fact3: この説教師が取り込み量なら形容し難い fact4: 仮にこの説教師は犯し難くないとしたら「この生育史はＩＢＳでなくて受け入れ易いということはない」ということは確かでない fact5: もし仮にこの説教師が優し過ぎるかそれが形容し難いならば犯し難くない
fact2 -> int1: この説教師は取り込み量だ; int1 & fact3 -> int2: この説教師は形容し難い; int2 -> int3: この説教師は優し過ぎるか形容し難いかあるいはどちらもだ; int3 & fact5 -> int4: 「この説教師は犯し難くない」ということは成り立つ; int4 & fact4 -> int5: 「「この生育史はＩＢＳだということはないしまた受け入れ易くない」ということは真実である」ということは成り立たない; int5 & fact1 -> hypothesis;
$facts$ = fact1: もし「この生育史はＩＢＳでないしその上受け入れ易くない」ということは成り立たないとすると閃かない fact2: この説教師は逆上せ上がるししかも取り込み量だ fact3: この説教師が取り込み量なら形容し難い fact4: 仮にこの説教師は犯し難くないとしたら「この生育史はＩＢＳでなくて受け入れ易いということはない」ということは確かでない fact5: もし仮にこの説教師が優し過ぎるかそれが形容し難いならば犯し難くない ; $hypothesis$ = この生育史は閃かない ; $proof$ = 
fact2 -> int1: この説教師は取り込み量だ; int1 & fact3 -> int2: この説教師は形容し難い; int2 -> int3: この説教師は優し過ぎるか形容し難いかあるいはどちらもだ; int3 & fact5 -> int4: 「この説教師は犯し難くない」ということは成り立つ; int4 & fact4 -> int5: 「「この生育史はＩＢＳだということはないしまた受け入れ易くない」ということは真実である」ということは成り立たない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし「この生育史はＩＢＳでないしその上受け入れ易くない」ということは成り立たないとすると閃かない
事実2: この説教師は逆上せ上がるししかも取り込み量だ
事実3: この説教師が取り込み量なら形容し難い
事実4: 仮にこの説教師は犯し難くないとしたら「この生育史はＩＢＳでなくて受け入れ易いということはない」ということは確かでない
事実5: もし仮にこの説教師が優し過ぎるかそれが形容し難いならば犯し難くない

仮説: この生育史は閃かない
1. 事実2から、推論1: "この説教師は取り込み量だ"が導かれる
2. 推論1と事実3から、推論2: "この説教師は形容し難い"が導かれる
3. 推論2から、推論3: "この説教師は優し過ぎるか形容し難いかあるいはどちらもだ"が導かれる
4. 推論3と事実5から、推論4: "「この説教師は犯し難くない」ということは成り立つ"が導かれる
5. 推論4と事実4から、推論5: "「「この生育史はＩＢＳだということはないしまた受け入れ易くない」ということは真実である」ということは成り立たない"が導かれる
6. 推論5と事実1から、仮説が導かれる

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