「「「つまされるがしかし汚れ難くない」ということは成り立つとすれば節税する」ものはある」ということは嘘である
fact1: 「もしもつまされるし汚れ難いならば節税する」物はある fact2: もし仮にとあるものは遅しがしかし作用しないとしたら大正デモクラシーである fact3: もしもややこしい物が貸せるということはないとすれば専門機関だ fact4: もしもこのガス濃度はつまされるしおまけに汚れ難いとすれば「節税する」ということは成り立つ fact5: 「もし仮に薄青いしさらに引き返せないならばファクスする」ものはある fact6: 「変型するしさらに読み辛くないとすれば設備予備設計な」物はある fact7: このガス濃度は遊べるがしかし口惜しくないとすると汚れ難い fact8: 「もしも「求めるが作用しない」ということは真実であるとすると土被り圧な」物はある fact9: もし国際社会はアプローチし易くないならそれは甘ったるい fact10: その八枚繻子織が円孔だけどオーラル・コミュニケーション・ストラテジーだということはないならそれはすんごい fact11: 仮に「何らかの物はつまされるが汚れ難くない」ということは成り立てばそれは節税する fact12: もし何らかの物がつまされるしそれは汚れ難いとしたら「節税する」ということは成り立つ
fact11 -> int1: このガス濃度がつまされる一方で汚れ難いということはないなら節税する; int1 -> hypothesis;
fact11 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
「仮に遅しけれど作用しないなら大正デモクラシーである」物はある
fact13 -> int2: あのバスローブが遅しが作用しないならば大正デモクラシーである; int2 -> hypothesis;
$facts$ = fact1: 「もしもつまされるし汚れ難いならば節税する」物はある fact2: もし仮にとあるものは遅しがしかし作用しないとしたら大正デモクラシーである fact3: もしもややこしい物が貸せるということはないとすれば専門機関だ fact4: もしもこのガス濃度はつまされるしおまけに汚れ難いとすれば「節税する」ということは成り立つ fact5: 「もし仮に薄青いしさらに引き返せないならばファクスする」ものはある fact6: 「変型するしさらに読み辛くないとすれば設備予備設計な」物はある fact7: このガス濃度は遊べるがしかし口惜しくないとすると汚れ難い fact8: 「もしも「求めるが作用しない」ということは真実であるとすると土被り圧な」物はある fact9: もし国際社会はアプローチし易くないならそれは甘ったるい fact10: その八枚繻子織が円孔だけどオーラル・コミュニケーション・ストラテジーだということはないならそれはすんごい fact11: 仮に「何らかの物はつまされるが汚れ難くない」ということは成り立てばそれは節税する fact12: もし何らかの物がつまされるしそれは汚れ難いとしたら「節税する」ということは成り立つ ; $hypothesis$ = 「「「つまされるがしかし汚れ難くない」ということは成り立つとすれば節税する」ものはある」ということは嘘である ; $proof$ = 
fact11 -> int1: このガス濃度がつまされる一方で汚れ難いということはないなら節税する; int1 -> hypothesis; __DISPROVED__
事実1: 「もしもつまされるし汚れ難いならば節税する」物はある
事実2: もし仮にとあるものは遅しがしかし作用しないとしたら大正デモクラシーである
事実3: もしもややこしい物が貸せるということはないとすれば専門機関だ
事実4: もしもこのガス濃度はつまされるしおまけに汚れ難いとすれば「節税する」ということは成り立つ
事実5: 「もし仮に薄青いしさらに引き返せないならばファクスする」ものはある
事実6: 「変型するしさらに読み辛くないとすれば設備予備設計な」物はある
事実7: このガス濃度は遊べるがしかし口惜しくないとすると汚れ難い
事実8: 「もしも「求めるが作用しない」ということは真実であるとすると土被り圧な」物はある
事実9: もし国際社会はアプローチし易くないならそれは甘ったるい
事実10: その八枚繻子織が円孔だけどオーラル・コミュニケーション・ストラテジーだということはないならそれはすんごい
事実11: 仮に「何らかの物はつまされるが汚れ難くない」ということは成り立てばそれは節税する
事実12: もし何らかの物がつまされるしそれは汚れ難いとしたら「節税する」ということは成り立つ

仮説: 「「「つまされるがしかし汚れ難くない」ということは成り立つとすれば節税する」ものはある」ということは嘘である
1. 事実11から、推論1: "このガス濃度がつまされる一方で汚れ難いということはないなら節税する"が導かれる
2. 推論1から、仮説が否定される

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