「そのケサランパサランは腹立たしくらないし無理無くない」ということは成り立たない
fact1: このロールプレイングが分離するし思い詰めるとするとそのラング・ハイランドは腹立たしくらない fact2: このロールプレイングは無理無くない fact3: 「このロールプレイングは思い詰めるしさらに腹立たしい」ということは本当である fact4: 「そのケサランパサランは思い出深くないがしかし破れ難い」ということは成り立たない fact5: このロールプレイングは分離するしその上思い詰める fact6: そのラング・ハイランドは腹立たしいということはないならば「そのケサランパサランは腹立たしくらなくて無理無くない」ということは成り立たない fact7: もしもなにがしかの物は無線通信でないならそれは腹立たしくらないしそれに無理無くない fact8: そのケサランパサランは思い詰めるということはない fact9: もしそのケサランパサランは腹立たしくらないとすると「そのラング・ハイランドは腹立たしくらないしその上それは無理無くない」ということは嘘である
fact1 & fact5 -> int1: そのラング・ハイランドは腹立たしいということはない; int1 & fact6 -> hypothesis;
そのケサランパサランは腹立たしくらないし無理無くない
fact10 -> int2: もし仮にそのケサランパサランが無線通信でないとしたら腹立たしいということはないししかも無理無いということはない;
$facts$ = fact1: このロールプレイングが分離するし思い詰めるとするとそのラング・ハイランドは腹立たしくらない fact2: このロールプレイングは無理無くない fact3: 「このロールプレイングは思い詰めるしさらに腹立たしい」ということは本当である fact4: 「そのケサランパサランは思い出深くないがしかし破れ難い」ということは成り立たない fact5: このロールプレイングは分離するしその上思い詰める fact6: そのラング・ハイランドは腹立たしいということはないならば「そのケサランパサランは腹立たしくらなくて無理無くない」ということは成り立たない fact7: もしもなにがしかの物は無線通信でないならそれは腹立たしくらないしそれに無理無くない fact8: そのケサランパサランは思い詰めるということはない fact9: もしそのケサランパサランは腹立たしくらないとすると「そのラング・ハイランドは腹立たしくらないしその上それは無理無くない」ということは嘘である ; $hypothesis$ = 「そのケサランパサランは腹立たしくらないし無理無くない」ということは成り立たない ; $proof$ = 
fact1 & fact5 -> int1: そのラング・ハイランドは腹立たしいということはない; int1 & fact6 -> hypothesis; __PROVED__
事実1: このロールプレイングが分離するし思い詰めるとするとそのラング・ハイランドは腹立たしくらない
事実2: このロールプレイングは無理無くない
事実3: 「このロールプレイングは思い詰めるしさらに腹立たしい」ということは本当である
事実4: 「そのケサランパサランは思い出深くないがしかし破れ難い」ということは成り立たない
事実5: このロールプレイングは分離するしその上思い詰める
事実6: そのラング・ハイランドは腹立たしいということはないならば「そのケサランパサランは腹立たしくらなくて無理無くない」ということは成り立たない
事実7: もしもなにがしかの物は無線通信でないならそれは腹立たしくらないしそれに無理無くない
事実8: そのケサランパサランは思い詰めるということはない
事実9: もしそのケサランパサランは腹立たしくらないとすると「そのラング・ハイランドは腹立たしくらないしその上それは無理無くない」ということは嘘である

仮説: 「そのケサランパサランは腹立たしくらないし無理無くない」ということは成り立たない
1. 事実1と事実5から、推論1: "そのラング・ハイランドは腹立たしいということはない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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