このアイスグレーは嫌味っぽくない
fact1: 仮にこの日本基準がひもじくないとすれば進級するしそれは嫌味っぽい fact2: このアイスグレーは目覚ましい fact3: もしもこのアイスグレーが広がり易くなくてそれが目覚ましくないとしたらあの通院介助は目覚ましい fact4: その敗戦後は移民するということはないならば「それは呼び易くてかつそれは生じ易い」ということは嘘である fact5: 仮にその敗戦後が広がり易いならばこのアイスグレーは嫌味っぽくない fact6: 「このアイスグレーは広がり易くない」ということは確かであるならば目覚ましくて嫌味っぽい fact7: なにがしかの物は人間臭くないかまたは入山しないかあるいは両方ともである fact8: もし仮に「とあるものは呼び易くて生じ易い」ということは嘘であるならばそれは生じ易くない fact9: もしもこのアイスグレーが広がり易くないとすれば目覚ましい fact10: 生じ易くない物は推測するしその上最小ファイルサイズだ fact11: 仮になんらかのものが推測しないとしたら広がり易くないし更に目覚ましくない fact12: このアイスグレーは広がり易くない
fact6 & fact12 -> int1: このアイスグレーが目覚ましいしその上それは嫌味っぽい; int1 -> hypothesis;
fact6 & fact12 -> int1: ({AA}{a} & {AB}{a}); int1 -> hypothesis;
あの通院介助は目覚ましい
fact14 -> int2: 仮にこのアイスグレーが推測しないなら広がり易いということはないし目覚ましくない;
$facts$ = fact1: 仮にこの日本基準がひもじくないとすれば進級するしそれは嫌味っぽい fact2: このアイスグレーは目覚ましい fact3: もしもこのアイスグレーが広がり易くなくてそれが目覚ましくないとしたらあの通院介助は目覚ましい fact4: その敗戦後は移民するということはないならば「それは呼び易くてかつそれは生じ易い」ということは嘘である fact5: 仮にその敗戦後が広がり易いならばこのアイスグレーは嫌味っぽくない fact6: 「このアイスグレーは広がり易くない」ということは確かであるならば目覚ましくて嫌味っぽい fact7: なにがしかの物は人間臭くないかまたは入山しないかあるいは両方ともである fact8: もし仮に「とあるものは呼び易くて生じ易い」ということは嘘であるならばそれは生じ易くない fact9: もしもこのアイスグレーが広がり易くないとすれば目覚ましい fact10: 生じ易くない物は推測するしその上最小ファイルサイズだ fact11: 仮になんらかのものが推測しないとしたら広がり易くないし更に目覚ましくない fact12: このアイスグレーは広がり易くない ; $hypothesis$ = このアイスグレーは嫌味っぽくない ; $proof$ = 
fact6 & fact12 -> int1: このアイスグレーが目覚ましいしその上それは嫌味っぽい; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこの日本基準がひもじくないとすれば進級するしそれは嫌味っぽい
事実2: このアイスグレーは目覚ましい
事実3: もしもこのアイスグレーが広がり易くなくてそれが目覚ましくないとしたらあの通院介助は目覚ましい
事実4: その敗戦後は移民するということはないならば「それは呼び易くてかつそれは生じ易い」ということは嘘である
事実5: 仮にその敗戦後が広がり易いならばこのアイスグレーは嫌味っぽくない
事実6: 「このアイスグレーは広がり易くない」ということは確かであるならば目覚ましくて嫌味っぽい
事実7: なにがしかの物は人間臭くないかまたは入山しないかあるいは両方ともである
事実8: もし仮に「とあるものは呼び易くて生じ易い」ということは嘘であるならばそれは生じ易くない
事実9: もしもこのアイスグレーが広がり易くないとすれば目覚ましい
事実10: 生じ易くない物は推測するしその上最小ファイルサイズだ
事実11: 仮になんらかのものが推測しないとしたら広がり易くないし更に目覚ましくない
事実12: このアイスグレーは広がり易くない

仮説: このアイスグレーは嫌味っぽくない
1. 事実6と事実12から、推論1: "このアイスグレーが目覚ましいしその上それは嫌味っぽい"が導かれる
2. 推論1から、仮説が否定される

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