「この出退表示灯回路はトレードしないけれどそれは正直である」ということは嘘である
fact1: もし仮になんらかの物が言い出し兼ねないとすればそれはトレードしない fact2: 仮にとある物は免許人でないとしたら「それはトレードしなくて正直である」ということは間違っている fact3: 仮にその各点がストロボだとしたらあの公司は悪戯っぽくないしそれにストロボでない fact4: もしもこの本隊が展開し易くて許可であるとしたらその各点はストロボだ fact5: 許可は免許人でないしかつ展開し易くない fact6: 仮にこの本隊が展開し易い一方で許可でないとしたらその各点はストロボだ fact7: この出退表示灯回路は匠でしかもそれは正直だ fact8: 「あの柱状は免許人でないしおまけにそれは展開し易くない」ということは確かだ fact9: 「仮にあの公司が悪戯っぽくないししかもストロボでないならこの出退表示灯回路は言い出し兼ねるということはない」ということは誤りでない fact10: 仮に「あの柱状は展開し易くない」ということは確かだとしたらこの本隊は展開し易いが許可でない
fact8 -> int1: あの柱状は展開し易くない; int1 & fact10 -> int2: この本隊は展開し易いけれど許可でない; int2 & fact6 -> int3: 「その各点はストロボである」ということは嘘でない; int3 & fact3 -> int4: あの公司は悪戯っぽいということはなくてそれはストロボでない; int4 & fact9 -> int5: この出退表示灯回路は言い出し兼ねるということはない; fact1 -> int6: もしもこの出退表示灯回路が言い出し兼ねないとするとトレードしない; int5 & int6 -> int7: この出退表示灯回路はトレードしない; fact7 -> int8: この出退表示灯回路は正直である; int7 & int8 -> hypothesis;
「この出退表示灯回路はトレードしないけど正直だ」ということは正しくない
fact12 -> int9: もしもこの出退表示灯回路は免許人でないなら「それはトレードしないししかも正直である」ということは成り立たない; fact11 -> int10: もしこの出退表示灯回路は許可であるなら免許人でないし展開し易くない;
$facts$ = fact1: もし仮になんらかの物が言い出し兼ねないとすればそれはトレードしない fact2: 仮にとある物は免許人でないとしたら「それはトレードしなくて正直である」ということは間違っている fact3: 仮にその各点がストロボだとしたらあの公司は悪戯っぽくないしそれにストロボでない fact4: もしもこの本隊が展開し易くて許可であるとしたらその各点はストロボだ fact5: 許可は免許人でないしかつ展開し易くない fact6: 仮にこの本隊が展開し易い一方で許可でないとしたらその各点はストロボだ fact7: この出退表示灯回路は匠でしかもそれは正直だ fact8: 「あの柱状は免許人でないしおまけにそれは展開し易くない」ということは確かだ fact9: 「仮にあの公司が悪戯っぽくないししかもストロボでないならこの出退表示灯回路は言い出し兼ねるということはない」ということは誤りでない fact10: 仮に「あの柱状は展開し易くない」ということは確かだとしたらこの本隊は展開し易いが許可でない ; $hypothesis$ = 「この出退表示灯回路はトレードしないけれどそれは正直である」ということは嘘である ; $proof$ = 
fact8 -> int1: あの柱状は展開し易くない; int1 & fact10 -> int2: この本隊は展開し易いけれど許可でない; int2 & fact6 -> int3: 「その各点はストロボである」ということは嘘でない; int3 & fact3 -> int4: あの公司は悪戯っぽいということはなくてそれはストロボでない; int4 & fact9 -> int5: この出退表示灯回路は言い出し兼ねるということはない; fact1 -> int6: もしもこの出退表示灯回路が言い出し兼ねないとするとトレードしない; int5 & int6 -> int7: この出退表示灯回路はトレードしない; fact7 -> int8: この出退表示灯回路は正直である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物が言い出し兼ねないとすればそれはトレードしない
事実2: 仮にとある物は免許人でないとしたら「それはトレードしなくて正直である」ということは間違っている
事実3: 仮にその各点がストロボだとしたらあの公司は悪戯っぽくないしそれにストロボでない
事実4: もしもこの本隊が展開し易くて許可であるとしたらその各点はストロボだ
事実5: 許可は免許人でないしかつ展開し易くない
事実6: 仮にこの本隊が展開し易い一方で許可でないとしたらその各点はストロボだ
事実7: この出退表示灯回路は匠でしかもそれは正直だ
事実8: 「あの柱状は免許人でないしおまけにそれは展開し易くない」ということは確かだ
事実9: 「仮にあの公司が悪戯っぽくないししかもストロボでないならこの出退表示灯回路は言い出し兼ねるということはない」ということは誤りでない
事実10: 仮に「あの柱状は展開し易くない」ということは確かだとしたらこの本隊は展開し易いが許可でない

仮説: 「この出退表示灯回路はトレードしないけれどそれは正直である」ということは嘘である
1. 事実8から、推論1: "あの柱状は展開し易くない"が導かれる
2. 推論1と事実10から、推論2: "この本隊は展開し易いけれど許可でない"が導かれる
3. 推論2と事実6から、推論3: "「その各点はストロボである」ということは嘘でない"が導かれる
4. 推論3と事実3から、推論4: "あの公司は悪戯っぽいということはなくてそれはストロボでない"が導かれる
5. 推論4と事実9から、推論5: "この出退表示灯回路は言い出し兼ねるということはない"が導かれる
6. 事実1から、推論6: "もしもこの出退表示灯回路が言い出し兼ねないとするとトレードしない"が導かれる
7. 推論5と推論6から、推論7: "この出退表示灯回路はトレードしない"が導かれる
8. 事実7から、推論8: "この出退表示灯回路は正直である"が導かれる
9. 推論7と推論8から、仮説が否定される

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