この藁屋根は飛ばすということはない
fact1: この藁屋根は前角だ fact2: もし「美しくない」ものがあるならこの藁屋根は役立ち得る fact3: 仮にこの藁屋根が狙い易くないとするとそれは本するしおまけに美しい fact4: とあるものは美しくないかまたはそれは狙い易い fact5: 美しくないか狙い易いかもしくはどちらもである物があるとしたらこの藁屋根は役立ち得る fact6: もしこの藁屋根が前角であるしそれが役立ち得ればそれは飛ばすということはない
fact4 & fact5 -> int1: この藁屋根は役立ち得る; int1 & fact1 -> int2: この藁屋根は前角であるし加えて役立ち得る; int2 & fact6 -> hypothesis;
fact4 & fact5 -> int1: {C}{a}; int1 & fact1 -> int2: ({D}{a} & {C}{a}); int2 & fact6 -> hypothesis;
この藁屋根は本する
$facts$ = fact1: この藁屋根は前角だ fact2: もし「美しくない」ものがあるならこの藁屋根は役立ち得る fact3: 仮にこの藁屋根が狙い易くないとするとそれは本するしおまけに美しい fact4: とあるものは美しくないかまたはそれは狙い易い fact5: 美しくないか狙い易いかもしくはどちらもである物があるとしたらこの藁屋根は役立ち得る fact6: もしこの藁屋根が前角であるしそれが役立ち得ればそれは飛ばすということはない ; $hypothesis$ = この藁屋根は飛ばすということはない ; $proof$ = 
fact4 & fact5 -> int1: この藁屋根は役立ち得る; int1 & fact1 -> int2: この藁屋根は前角であるし加えて役立ち得る; int2 & fact6 -> hypothesis; __PROVED__
事実1: この藁屋根は前角だ
事実2: もし「美しくない」ものがあるならこの藁屋根は役立ち得る
事実3: 仮にこの藁屋根が狙い易くないとするとそれは本するしおまけに美しい
事実4: とあるものは美しくないかまたはそれは狙い易い
事実5: 美しくないか狙い易いかもしくはどちらもである物があるとしたらこの藁屋根は役立ち得る
事実6: もしこの藁屋根が前角であるしそれが役立ち得ればそれは飛ばすということはない

仮説: この藁屋根は飛ばすということはない
1. 事実4と事実5から、推論1: "この藁屋根は役立ち得る"が導かれる
2. 推論1と事実1から、推論2: "この藁屋根は前角であるし加えて役立ち得る"が導かれる
3. 推論2と事実6から、仮説が導かれる

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