「この団体種目は滲み出ないししかもそれは空恐ろしくない」ということは嘘である
fact1: もしも「この御爺ちゃんは滲み出るということはないし差し障らない」ということは成り立たないとしたらこの団体種目はチューニングする fact2: 「この御爺ちゃんはチューニングしないしさらに賦課するということはない」ということは成り立たない fact3: もしこの団体種目がチューニングするとしたら空恐ろしくないしさらに差し障らない fact4: もしもとある物が差し障るとすれば空恐ろしくない fact5: 「この団体種目は賦課しなくておまけに短縮化しない」ということは誤っている fact6: もし仮に「この御爺ちゃんは賦課しなくて空恐ろしくない」ということは誤りであるとするとこの団体種目は滲み出る fact7: 「この御爺ちゃんはチューニングしないがしかし賦課する」ということは成り立たない fact8: 仮にこの御爺ちゃんが賦課すればこの団体種目は差し障る fact9: もしもあるものが差し障るとすればそれは滲み出るということはないしその上空恐ろしくない fact10: もし「この御爺ちゃんはチューニングしないし賦課するということはない」ということは事実と異なるならこの団体種目は差し障る fact11: この団体種目は空恐ろしくない fact12: もしもこの団体種目が差し障るとすれば空恐ろしいということはない
fact9 -> int1: もしもこの団体種目が差し障るとすると滲み出なくてしかも空恐ろしいということはない; fact2 & fact10 -> int2: この団体種目は差し障る; int1 & int2 -> hypothesis;
fact9 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact2 & fact10 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも「この御爺ちゃんは滲み出るということはないし差し障らない」ということは成り立たないとしたらこの団体種目はチューニングする fact2: 「この御爺ちゃんはチューニングしないしさらに賦課するということはない」ということは成り立たない fact3: もしこの団体種目がチューニングするとしたら空恐ろしくないしさらに差し障らない fact4: もしもとある物が差し障るとすれば空恐ろしくない fact5: 「この団体種目は賦課しなくておまけに短縮化しない」ということは誤っている fact6: もし仮に「この御爺ちゃんは賦課しなくて空恐ろしくない」ということは誤りであるとするとこの団体種目は滲み出る fact7: 「この御爺ちゃんはチューニングしないがしかし賦課する」ということは成り立たない fact8: 仮にこの御爺ちゃんが賦課すればこの団体種目は差し障る fact9: もしもあるものが差し障るとすればそれは滲み出るということはないしその上空恐ろしくない fact10: もし「この御爺ちゃんはチューニングしないし賦課するということはない」ということは事実と異なるならこの団体種目は差し障る fact11: この団体種目は空恐ろしくない fact12: もしもこの団体種目が差し障るとすれば空恐ろしいということはない ; $hypothesis$ = 「この団体種目は滲み出ないししかもそれは空恐ろしくない」ということは嘘である ; $proof$ = 
fact9 -> int1: もしもこの団体種目が差し障るとすると滲み出なくてしかも空恐ろしいということはない; fact2 & fact10 -> int2: この団体種目は差し障る; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「この御爺ちゃんは滲み出るということはないし差し障らない」ということは成り立たないとしたらこの団体種目はチューニングする
事実2: 「この御爺ちゃんはチューニングしないしさらに賦課するということはない」ということは成り立たない
事実3: もしこの団体種目がチューニングするとしたら空恐ろしくないしさらに差し障らない
事実4: もしもとある物が差し障るとすれば空恐ろしくない
事実5: 「この団体種目は賦課しなくておまけに短縮化しない」ということは誤っている
事実6: もし仮に「この御爺ちゃんは賦課しなくて空恐ろしくない」ということは誤りであるとするとこの団体種目は滲み出る
事実7: 「この御爺ちゃんはチューニングしないがしかし賦課する」ということは成り立たない
事実8: 仮にこの御爺ちゃんが賦課すればこの団体種目は差し障る
事実9: もしもあるものが差し障るとすればそれは滲み出るということはないしその上空恐ろしくない
事実10: もし「この御爺ちゃんはチューニングしないし賦課するということはない」ということは事実と異なるならこの団体種目は差し障る
事実11: この団体種目は空恐ろしくない
事実12: もしもこの団体種目が差し障るとすれば空恐ろしいということはない

仮説: 「この団体種目は滲み出ないししかもそれは空恐ろしくない」ということは嘘である
1. 事実9から、推論1: "もしもこの団体種目が差し障るとすると滲み出なくてしかも空恐ろしいということはない"が導かれる
2. 事実2と事実10から、推論2: "この団体種目は差し障る"が導かれる
3. 推論1と推論2から、仮説が否定される

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