このＯＧＴＴは成育する
fact1: もしもなにかは観光化するかあるいはトレーニング前でないなら成育しない fact2: 古寺は譲歩出来ない fact3: その軍事行動は成育しない fact4: あのタワー型は成育しない fact5: もしもある物が観光化するとすればそれは成育する fact6: もしもこのＯＧＴＴは絡み付くか弱々しかないかどちらもであるならば輝かしくない fact7: このＯＧＴＴはトレーニング前でない fact8: もしこのＯＧＴＴが観光化するとするとそれは成育しない fact9: もし仮にそのエキスパートがスラッシュであるかあるいは二．でないならば軽しということはない
fact7 -> int1: このＯＧＴＴは観光化するかトレーニング前だということはない; fact1 -> int2: もし仮に「このＯＧＴＴは観光化するかあるいはトレーニング前でない」ということは成り立つとすれば成育しない; int1 & int2 -> hypothesis;
fact7 -> int1: ({A}{a} v ¬{B}{a}); fact1 -> int2: ({A}{a} v ¬{B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
「このＯＧＴＴは成育する」ということは誤っていない
fact10 -> int3: もし仮にこのＯＧＴＴが観光化するなら成育する;
$facts$ = fact1: もしもなにかは観光化するかあるいはトレーニング前でないなら成育しない fact2: 古寺は譲歩出来ない fact3: その軍事行動は成育しない fact4: あのタワー型は成育しない fact5: もしもある物が観光化するとすればそれは成育する fact6: もしもこのＯＧＴＴは絡み付くか弱々しかないかどちらもであるならば輝かしくない fact7: このＯＧＴＴはトレーニング前でない fact8: もしこのＯＧＴＴが観光化するとするとそれは成育しない fact9: もし仮にそのエキスパートがスラッシュであるかあるいは二．でないならば軽しということはない ; $hypothesis$ = このＯＧＴＴは成育する ; $proof$ = 
fact7 -> int1: このＯＧＴＴは観光化するかトレーニング前だということはない; fact1 -> int2: もし仮に「このＯＧＴＴは観光化するかあるいはトレーニング前でない」ということは成り立つとすれば成育しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなにかは観光化するかあるいはトレーニング前でないなら成育しない
事実2: 古寺は譲歩出来ない
事実3: その軍事行動は成育しない
事実4: あのタワー型は成育しない
事実5: もしもある物が観光化するとすればそれは成育する
事実6: もしもこのＯＧＴＴは絡み付くか弱々しかないかどちらもであるならば輝かしくない
事実7: このＯＧＴＴはトレーニング前でない
事実8: もしこのＯＧＴＴが観光化するとするとそれは成育しない
事実9: もし仮にそのエキスパートがスラッシュであるかあるいは二．でないならば軽しということはない

仮説: このＯＧＴＴは成育する
1. 事実7から、推論1: "このＯＧＴＴは観光化するかトレーニング前だということはない"が導かれる
2. 事実1から、推論2: "もし仮に「このＯＧＴＴは観光化するかあるいはトレーニング前でない」ということは成り立つとすれば成育しない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。