あのテスターは泣き出さない
fact1: 仮に「その暗緑色はフロントスタイルでなくてそれは泣き出すということはない」ということは間違いであるならあの合気道は泣き出さない fact2: もしも「「逝去するけれど集会でない」ということは事実であるということはない」ものはあれば「あのテスターは泣き出さない」ということは正しい fact3: 「特定化するが面目無くない」ものはある fact4: 「「逝去するがしかし集会でない」ということは嘘である」ものはある fact5: もし「「混交するけど集会でない」ということは誤りな」ものがあるならあのテスターはダブルクリックしない fact6: もし仮に「なにかは泣き出さなくてそれにそれはフロントスタイルでない」ということは成り立たないならそれは泣き出す fact7: もし「なにがしかのものはフロントスタイルであるししかも対外進出である」ということは嘘なら「対外進出でない」ということは成り立つ fact8: 「独占記事であるしそれに経営層であるということはない」ものはある fact9: 「「逝去するし集会だ」ということは成り立たない」ものはある fact10: 「「美しいけど表中でない」ということは真実でない」ものはある
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
あのテスターは泣き出す
fact11 -> int1: もし「「あのテスターが泣き出さないしさらにフロントスタイルでない」ということは間違いである」ということは成り立つとしたら泣き出す;
$facts$ = fact1: 仮に「その暗緑色はフロントスタイルでなくてそれは泣き出すということはない」ということは間違いであるならあの合気道は泣き出さない fact2: もしも「「逝去するけれど集会でない」ということは事実であるということはない」ものはあれば「あのテスターは泣き出さない」ということは正しい fact3: 「特定化するが面目無くない」ものはある fact4: 「「逝去するがしかし集会でない」ということは嘘である」ものはある fact5: もし「「混交するけど集会でない」ということは誤りな」ものがあるならあのテスターはダブルクリックしない fact6: もし仮に「なにかは泣き出さなくてそれにそれはフロントスタイルでない」ということは成り立たないならそれは泣き出す fact7: もし「なにがしかのものはフロントスタイルであるししかも対外進出である」ということは嘘なら「対外進出でない」ということは成り立つ fact8: 「独占記事であるしそれに経営層であるということはない」ものはある fact9: 「「逝去するし集会だ」ということは成り立たない」ものはある fact10: 「「美しいけど表中でない」ということは真実でない」ものはある ; $hypothesis$ = あのテスターは泣き出さない ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「その暗緑色はフロントスタイルでなくてそれは泣き出すということはない」ということは間違いであるならあの合気道は泣き出さない
事実2: もしも「「逝去するけれど集会でない」ということは事実であるということはない」ものはあれば「あのテスターは泣き出さない」ということは正しい
事実3: 「特定化するが面目無くない」ものはある
事実4: 「「逝去するがしかし集会でない」ということは嘘である」ものはある
事実5: もし「「混交するけど集会でない」ということは誤りな」ものがあるならあのテスターはダブルクリックしない
事実6: もし仮に「なにかは泣き出さなくてそれにそれはフロントスタイルでない」ということは成り立たないならそれは泣き出す
事実7: もし「なにがしかのものはフロントスタイルであるししかも対外進出である」ということは嘘なら「対外進出でない」ということは成り立つ
事実8: 「独占記事であるしそれに経営層であるということはない」ものはある
事実9: 「「逝去するし集会だ」ということは成り立たない」ものはある
事実10: 「「美しいけど表中でない」ということは真実でない」ものはある

仮説: あのテスターは泣き出さない
1. 事実4と事実2から、仮説が導かれる

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