このパキスタン人は怪し
fact1: 「その出火源は怪ししアスペクト比である」ということは事実だ fact2: その出火源は狙い打ちする一方で魅入られない fact3: 「その出火源はブランド製品だけど欹てない」ということは成り立つ fact4: その出火源は魅入られるということはない fact5: 仮に「その出火源は怪ししおまけに纏まり易い」ということは成り立たないとするとこのパキスタン人は怪しない fact6: もしも怪し物があるとすればあの慣用句例は纏まり易いし衝突する fact7: もし仮にその出火源が狙い打ちするししかも魅入られるならこのパキスタン人は怪し fact8: もし仮にその出火源が狙い打ちする一方で魅入られないとするとこのパキスタン人は怪し fact9: もし仮にこのパキスタン人が魅入られる一方で怪しないとしたらその出火源は狙い打ちする
fact8 & fact2 -> hypothesis;
fact8 & fact2 -> hypothesis;
この慣用句例は衝突するが表計算ソフトウェアーでない
fact11 -> int1: その出火源は怪し; int1 -> int2: 「「怪し」ということは本当である」ものはある; int2 & fact10 -> int3: この慣用句例は纏まり易いし衝突する; int3 -> int4: この慣用句例は衝突する;
$facts$ = fact1: 「その出火源は怪ししアスペクト比である」ということは事実だ fact2: その出火源は狙い打ちする一方で魅入られない fact3: 「その出火源はブランド製品だけど欹てない」ということは成り立つ fact4: その出火源は魅入られるということはない fact5: 仮に「その出火源は怪ししおまけに纏まり易い」ということは成り立たないとするとこのパキスタン人は怪しない fact6: もしも怪し物があるとすればあの慣用句例は纏まり易いし衝突する fact7: もし仮にその出火源が狙い打ちするししかも魅入られるならこのパキスタン人は怪し fact8: もし仮にその出火源が狙い打ちする一方で魅入られないとするとこのパキスタン人は怪し fact9: もし仮にこのパキスタン人が魅入られる一方で怪しないとしたらその出火源は狙い打ちする ; $hypothesis$ = このパキスタン人は怪し ; $proof$ = 
fact8 & fact2 -> hypothesis; __PROVED__
事実1: 「その出火源は怪ししアスペクト比である」ということは事実だ
事実2: その出火源は狙い打ちする一方で魅入られない
事実3: 「その出火源はブランド製品だけど欹てない」ということは成り立つ
事実4: その出火源は魅入られるということはない
事実5: 仮に「その出火源は怪ししおまけに纏まり易い」ということは成り立たないとするとこのパキスタン人は怪しない
事実6: もしも怪し物があるとすればあの慣用句例は纏まり易いし衝突する
事実7: もし仮にその出火源が狙い打ちするししかも魅入られるならこのパキスタン人は怪し
事実8: もし仮にその出火源が狙い打ちする一方で魅入られないとするとこのパキスタン人は怪し
事実9: もし仮にこのパキスタン人が魅入られる一方で怪しないとしたらその出火源は狙い打ちする

仮説: このパキスタン人は怪し
1. 事実8と事実2から、仮説が導かれる

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