この帝国農会はめんど臭くない
fact1: 仮に花付きは矛盾・相克であるとすると「吹け上がらない」ということは成り立つ fact2: 仮に何らかの物が吹け上がるということはないとするとめんど臭くない fact3: この細動脈レベルは引き難い fact4: この帝国農会は花付きである fact5: この帝国農会は矛盾・相克だ
fact4 & fact5 -> int1: この帝国農会は花付きで矛盾・相克だ; fact1 -> int2: もし「この帝国農会は花付きでそれに矛盾・相克である」ということは成り立つとすれば吹け上がらない; int1 & int2 -> int3: この帝国農会は吹け上がらない; fact2 -> int4: もしもこの帝国農会が吹け上がらないとすればめんど臭くない; int3 & int4 -> hypothesis;
fact4 & fact5 -> int1: ({A}{a} & {B}{a}); fact1 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact2 -> int4: ¬{C}{a} -> ¬{D}{a}; int3 & int4 -> hypothesis;
この帝国農会はめんど臭い
fact6 -> int5: 「引き難い」ものはある;
$facts$ = fact1: 仮に花付きは矛盾・相克であるとすると「吹け上がらない」ということは成り立つ fact2: 仮に何らかの物が吹け上がるということはないとするとめんど臭くない fact3: この細動脈レベルは引き難い fact4: この帝国農会は花付きである fact5: この帝国農会は矛盾・相克だ ; $hypothesis$ = この帝国農会はめんど臭くない ; $proof$ = 
fact4 & fact5 -> int1: この帝国農会は花付きで矛盾・相克だ; fact1 -> int2: もし「この帝国農会は花付きでそれに矛盾・相克である」ということは成り立つとすれば吹け上がらない; int1 & int2 -> int3: この帝国農会は吹け上がらない; fact2 -> int4: もしもこの帝国農会が吹け上がらないとすればめんど臭くない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮に花付きは矛盾・相克であるとすると「吹け上がらない」ということは成り立つ
事実2: 仮に何らかの物が吹け上がるということはないとするとめんど臭くない
事実3: この細動脈レベルは引き難い
事実4: この帝国農会は花付きである
事実5: この帝国農会は矛盾・相克だ

仮説: この帝国農会はめんど臭くない
1. 事実4と事実5から、推論1: "この帝国農会は花付きで矛盾・相克だ"が導かれる
2. 事実1から、推論2: "もし「この帝国農会は花付きでそれに矛盾・相克である」ということは成り立つとすれば吹け上がらない"が導かれる
3. 推論1と推論2から、推論3: "この帝国農会は吹け上がらない"が導かれる
4. 事実2から、推論4: "もしもこの帝国農会が吹け上がらないとすればめんど臭くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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