「このスクリプティング機能追加は捨象しないけれど伝わり易い」ということは成り立たない
fact1: 「「このスクリプティング機能追加は味気ないし捨象する」ということは成り立つ」ということは嘘である fact2: 仮に「このスクリプティング機能追加は伝わり易くないし捨象しない」ということは嘘であるとすればそれは味気なくない fact3: もしもその法意識が捨象すればそれは伝わり易くない fact4: このスクリプティング機能追加は病めない fact5: もし仮にその法意識は世界先住民宣教協会でないとすれば「その兵科は確かめ得ないしそれは当て付けがましいということはない」ということは成り立たない fact6: 「その国王軍は買い易いということはないけれど生存中だ」ということは成り立たない fact7: その法意識は成立し難くない fact8: 「このスクリプティング機能追加は捨象するということはないがしかし成立し難い」ということは真実でない fact9: もしこのスクリプティング機能追加は伝わり易くないとしたら「その法意識は捨象するということはないけど伝わり易い」ということは成り立たない fact10: もし「このスクリプティング機能追加は聡いということはなくてしかも伝わり易くない」ということは本当でないならそれは味気なくない fact11: 「その法意識は聡くないし味気なくない」ということは誤りならそれは伝わり易いということはない fact12: 仮にその法意識は聡くないなら「このスクリプティング機能追加は捨象しないけど聡い」ということは偽である fact13: その法意識は伝わり易くないなら「「このスクリプティング機能追加は捨象しないけど伝わり易い」ということは本当だ」ということは成り立つということはない fact14: 「その法意識が捨象しないしさらに伝わり易くない」ということは誤っている fact15: 「その婆っは伝わり易くないけれど極まりない」ということは間違っている fact16: 「その法意識は聡くないしかつ味気なくない」ということは成り立たない fact17: もしその法意識は捨象するとすれば「味気なくない」ということは真実だ
fact11 & fact16 -> int1: その法意識は伝わり易くない; int1 & fact13 -> hypothesis;
「その兵科が確かめ得ないししかも当て付けはましくらない」ということは誤っている
$facts$ = fact1: 「「このスクリプティング機能追加は味気ないし捨象する」ということは成り立つ」ということは嘘である fact2: 仮に「このスクリプティング機能追加は伝わり易くないし捨象しない」ということは嘘であるとすればそれは味気なくない fact3: もしもその法意識が捨象すればそれは伝わり易くない fact4: このスクリプティング機能追加は病めない fact5: もし仮にその法意識は世界先住民宣教協会でないとすれば「その兵科は確かめ得ないしそれは当て付けがましいということはない」ということは成り立たない fact6: 「その国王軍は買い易いということはないけれど生存中だ」ということは成り立たない fact7: その法意識は成立し難くない fact8: 「このスクリプティング機能追加は捨象するということはないがしかし成立し難い」ということは真実でない fact9: もしこのスクリプティング機能追加は伝わり易くないとしたら「その法意識は捨象するということはないけど伝わり易い」ということは成り立たない fact10: もし「このスクリプティング機能追加は聡いということはなくてしかも伝わり易くない」ということは本当でないならそれは味気なくない fact11: 「その法意識は聡くないし味気なくない」ということは誤りならそれは伝わり易いということはない fact12: 仮にその法意識は聡くないなら「このスクリプティング機能追加は捨象しないけど聡い」ということは偽である fact13: その法意識は伝わり易くないなら「「このスクリプティング機能追加は捨象しないけど伝わり易い」ということは本当だ」ということは成り立つということはない fact14: 「その法意識が捨象しないしさらに伝わり易くない」ということは誤っている fact15: 「その婆っは伝わり易くないけれど極まりない」ということは間違っている fact16: 「その法意識は聡くないしかつ味気なくない」ということは成り立たない fact17: もしその法意識は捨象するとすれば「味気なくない」ということは真実だ ; $hypothesis$ = 「このスクリプティング機能追加は捨象しないけれど伝わり易い」ということは成り立たない ; $proof$ = 
fact11 & fact16 -> int1: その法意識は伝わり易くない; int1 & fact13 -> hypothesis; __PROVED__
事実1: 「「このスクリプティング機能追加は味気ないし捨象する」ということは成り立つ」ということは嘘である
事実2: 仮に「このスクリプティング機能追加は伝わり易くないし捨象しない」ということは嘘であるとすればそれは味気なくない
事実3: もしもその法意識が捨象すればそれは伝わり易くない
事実4: このスクリプティング機能追加は病めない
事実5: もし仮にその法意識は世界先住民宣教協会でないとすれば「その兵科は確かめ得ないしそれは当て付けがましいということはない」ということは成り立たない
事実6: 「その国王軍は買い易いということはないけれど生存中だ」ということは成り立たない
事実7: その法意識は成立し難くない
事実8: 「このスクリプティング機能追加は捨象するということはないがしかし成立し難い」ということは真実でない
事実9: もしこのスクリプティング機能追加は伝わり易くないとしたら「その法意識は捨象するということはないけど伝わり易い」ということは成り立たない
事実10: もし「このスクリプティング機能追加は聡いということはなくてしかも伝わり易くない」ということは本当でないならそれは味気なくない
事実11: 「その法意識は聡くないし味気なくない」ということは誤りならそれは伝わり易いということはない
事実12: 仮にその法意識は聡くないなら「このスクリプティング機能追加は捨象しないけど聡い」ということは偽である
事実13: その法意識は伝わり易くないなら「「このスクリプティング機能追加は捨象しないけど伝わり易い」ということは本当だ」ということは成り立つということはない
事実14: 「その法意識が捨象しないしさらに伝わり易くない」ということは誤っている
事実15: 「その婆っは伝わり易くないけれど極まりない」ということは間違っている
事実16: 「その法意識は聡くないしかつ味気なくない」ということは成り立たない
事実17: もしその法意識は捨象するとすれば「味気なくない」ということは真実だ

仮説: 「このスクリプティング機能追加は捨象しないけれど伝わり易い」ということは成り立たない
1. 事実11と事実16から、推論1: "その法意識は伝わり易くない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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