「そのマキシマムはフェデラルでない」ということは本当だ
fact1: あの戦争叙事詩は選択され易いしその上労働組合側である fact2: 「仮にその批准がフェデラルならばその本項前段はＱＲＫであるけれど見極めない」ということは事実である fact3: 何かは使い込むとしたらそれは活動力だ fact4: その批准は見極める fact5: もしもあの戦争叙事詩が建屋でないならばその本項前段は真白いけどそれは崇敬するということはない fact6: 仮に「なんらかの物は牽制しないかあるいはそれは見極めないかまたはどちらもだ」ということは偽だとするとそれはフェデラルでない fact7: もし仮にその批准が見極めればその本項前段は転変するがしかしＱＲＫでない fact8: あの戦争叙事詩が旨くないとすればそれは建屋でなくてしかも溜め込み易い fact9: 仮にその本項前段が転変するがしかしＱＲＫでないとしたらそのマキシマムはフェデラルだ fact10: もしもあの戦争叙事詩が選択され易いしおまけに飲み易いなら旨くない fact11: もしその批准が真白いとしたら使い込む fact12: もし仮になんらかのものは活動力であるとすると「それは牽制しないかもしくは見極めるということはないか両方である」ということは真実だということはない fact13: もし仮にその批准が見極めるとしたらその本項前段は転変する fact14: あの入浴時は転変するけど法相でない fact15: 仮にその本項前段が真白いけれどそれが崇敬しないとすればその批准は真白い fact16: 「なにかは省エネ効果で更にそれはフェデラルである」ということは成り立たないなら「フェデラルでない」ということは本当である
fact7 & fact4 -> int1: その本項前段は転変するがしかしＱＲＫであるということはない; int1 & fact9 -> hypothesis;
fact7 & fact4 -> int1: ({AA}{b} & ¬{AB}{b}); int1 & fact9 -> hypothesis;
そのマキシマムはフェデラルであるということはない
fact19 -> int2: もしも「そのマキシマムは省エネ効果であるしフェデラルである」ということは成り立たないならそれはフェデラルでない; fact24 -> int3: もし「その批准は牽制しないかもしくはそれは見極めないかもしくは両方だ」ということは成り立たないとするとそれはフェデラルでない; fact23 -> int4: もし「その批准は活動力でない」ということは誤っているなら「牽制しないかあるいは見極めるということはないかどちらもだ」ということは誤っている; fact18 -> int5: 仮にその批准が使い込むとすればそれは活動力である; fact25 -> int6: あの戦争叙事詩は選択され易い;
$facts$ = fact1: あの戦争叙事詩は選択され易いしその上労働組合側である fact2: 「仮にその批准がフェデラルならばその本項前段はＱＲＫであるけれど見極めない」ということは事実である fact3: 何かは使い込むとしたらそれは活動力だ fact4: その批准は見極める fact5: もしもあの戦争叙事詩が建屋でないならばその本項前段は真白いけどそれは崇敬するということはない fact6: 仮に「なんらかの物は牽制しないかあるいはそれは見極めないかまたはどちらもだ」ということは偽だとするとそれはフェデラルでない fact7: もし仮にその批准が見極めればその本項前段は転変するがしかしＱＲＫでない fact8: あの戦争叙事詩が旨くないとすればそれは建屋でなくてしかも溜め込み易い fact9: 仮にその本項前段が転変するがしかしＱＲＫでないとしたらそのマキシマムはフェデラルだ fact10: もしもあの戦争叙事詩が選択され易いしおまけに飲み易いなら旨くない fact11: もしその批准が真白いとしたら使い込む fact12: もし仮になんらかのものは活動力であるとすると「それは牽制しないかもしくは見極めるということはないか両方である」ということは真実だということはない fact13: もし仮にその批准が見極めるとしたらその本項前段は転変する fact14: あの入浴時は転変するけど法相でない fact15: 仮にその本項前段が真白いけれどそれが崇敬しないとすればその批准は真白い fact16: 「なにかは省エネ効果で更にそれはフェデラルである」ということは成り立たないなら「フェデラルでない」ということは本当である ; $hypothesis$ = 「そのマキシマムはフェデラルでない」ということは本当だ ; $proof$ = 
fact7 & fact4 -> int1: その本項前段は転変するがしかしＱＲＫであるということはない; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: あの戦争叙事詩は選択され易いしその上労働組合側である
事実2: 「仮にその批准がフェデラルならばその本項前段はＱＲＫであるけれど見極めない」ということは事実である
事実3: 何かは使い込むとしたらそれは活動力だ
事実4: その批准は見極める
事実5: もしもあの戦争叙事詩が建屋でないならばその本項前段は真白いけどそれは崇敬するということはない
事実6: 仮に「なんらかの物は牽制しないかあるいはそれは見極めないかまたはどちらもだ」ということは偽だとするとそれはフェデラルでない
事実7: もし仮にその批准が見極めればその本項前段は転変するがしかしＱＲＫでない
事実8: あの戦争叙事詩が旨くないとすればそれは建屋でなくてしかも溜め込み易い
事実9: 仮にその本項前段が転変するがしかしＱＲＫでないとしたらそのマキシマムはフェデラルだ
事実10: もしもあの戦争叙事詩が選択され易いしおまけに飲み易いなら旨くない
事実11: もしその批准が真白いとしたら使い込む
事実12: もし仮になんらかのものは活動力であるとすると「それは牽制しないかもしくは見極めるということはないか両方である」ということは真実だということはない
事実13: もし仮にその批准が見極めるとしたらその本項前段は転変する
事実14: あの入浴時は転変するけど法相でない
事実15: 仮にその本項前段が真白いけれどそれが崇敬しないとすればその批准は真白い
事実16: 「なにかは省エネ効果で更にそれはフェデラルである」ということは成り立たないなら「フェデラルでない」ということは本当である

仮説: 「そのマキシマムはフェデラルでない」ということは本当だ
1. 事実7と事実4から、推論1: "その本項前段は転変するがしかしＱＲＫであるということはない"が導かれる
2. 推論1と事実9から、仮説が否定される

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