その非暴力行動は繰り上がらないかもしくは商人らしくないか両方だ
fact1: もしもその測定機器が反応し易いとしたらその非暴力行動は素晴らしい fact2: その測定機器が素晴らしいならばあの非暴力行動は素晴らしい fact3: もしもその非暴力行動が素晴らしいしその上罹り易いならば旨くない fact4: 「「大人っぽくないし確からしくない」ということは成り立たない」物はある fact5: 「「大人っぽくないしさらに確からしくない」ということは成り立たない」ものがあるとすればその非暴力行動は割り当て比率だ fact6: その測定機器は反応し易いかまたはそれは素晴らしいかあるいは両方である fact7: 割り当て比率は罹り易い fact8: もし何かは旨くないならば繰り上がらない
fact4 & fact5 -> int1: その非暴力行動は割り当て比率である; fact7 -> int2: その非暴力行動は割り当て比率だとすれば「それは罹り易い」ということは真実だ; int1 & int2 -> int3: その非暴力行動は罹り易い; fact6 & fact1 & fact2 -> int4: その非暴力行動は素晴らしい; int3 & int4 -> int5: 「その非暴力行動は素晴らしくて罹り易い」ということは本当である; int5 & fact3 -> int6: その非暴力行動は旨くない; fact8 -> int7: もし仮にその非暴力行動が旨いということはないならそれは繰り上がらない; int6 & int7 -> int8: その非暴力行動は繰り上がらない; int8 -> hypothesis;
$facts$ = fact1: もしもその測定機器が反応し易いとしたらその非暴力行動は素晴らしい fact2: その測定機器が素晴らしいならばあの非暴力行動は素晴らしい fact3: もしもその非暴力行動が素晴らしいしその上罹り易いならば旨くない fact4: 「「大人っぽくないし確からしくない」ということは成り立たない」物はある fact5: 「「大人っぽくないしさらに確からしくない」ということは成り立たない」ものがあるとすればその非暴力行動は割り当て比率だ fact6: その測定機器は反応し易いかまたはそれは素晴らしいかあるいは両方である fact7: 割り当て比率は罹り易い fact8: もし何かは旨くないならば繰り上がらない ; $hypothesis$ = その非暴力行動は繰り上がらないかもしくは商人らしくないか両方だ ; $proof$ = 
fact4 & fact5 -> int1: その非暴力行動は割り当て比率である; fact7 -> int2: その非暴力行動は割り当て比率だとすれば「それは罹り易い」ということは真実だ; int1 & int2 -> int3: その非暴力行動は罹り易い; fact6 & fact1 & fact2 -> int4: その非暴力行動は素晴らしい; int3 & int4 -> int5: 「その非暴力行動は素晴らしくて罹り易い」ということは本当である; int5 & fact3 -> int6: その非暴力行動は旨くない; fact8 -> int7: もし仮にその非暴力行動が旨いということはないならそれは繰り上がらない; int6 & int7 -> int8: その非暴力行動は繰り上がらない; int8 -> hypothesis; __PROVED__
事実1: もしもその測定機器が反応し易いとしたらその非暴力行動は素晴らしい
事実2: その測定機器が素晴らしいならばあの非暴力行動は素晴らしい
事実3: もしもその非暴力行動が素晴らしいしその上罹り易いならば旨くない
事実4: 「「大人っぽくないし確からしくない」ということは成り立たない」物はある
事実5: 「「大人っぽくないしさらに確からしくない」ということは成り立たない」ものがあるとすればその非暴力行動は割り当て比率だ
事実6: その測定機器は反応し易いかまたはそれは素晴らしいかあるいは両方である
事実7: 割り当て比率は罹り易い
事実8: もし何かは旨くないならば繰り上がらない

仮説: その非暴力行動は繰り上がらないかもしくは商人らしくないか両方だ
1. 事実4と事実5から、推論1: "その非暴力行動は割り当て比率である"が導かれる
2. 事実7から、推論2: "その非暴力行動は割り当て比率だとすれば「それは罹り易い」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "その非暴力行動は罹り易い"が導かれる
4. 事実6と事実1と事実2から、推論4: "その非暴力行動は素晴らしい"が導かれる
5. 推論3と推論4から、推論5: "「その非暴力行動は素晴らしくて罹り易い」ということは本当である"が導かれる
6. 推論5と事実3から、推論6: "その非暴力行動は旨くない"が導かれる
7. 事実8から、推論7: "もし仮にその非暴力行動が旨いということはないならそれは繰り上がらない"が導かれる
8. 推論6と推論7から、推論8: "その非暴力行動は繰り上がらない"が導かれる
9. 推論8から、仮説が導かれる

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