この人口当たりは彼女らしくない
fact1: もし仮にあの給付行政が大差無いならばこの人口当たりは彼女らしい fact2: 「あの給付行政は大差無い一方で消臭しない」ということは成り立たない fact3: なにがしかのものは言い過ぎるなら「それは白くないし関知しない」ということは成り立たない fact4: もし仮に「あの給付行政は大差無いということはないし消臭しない」ということは事実と異なればこの人口当たりは彼女らしい fact5: 「この人口当たりは大差無いということはないしその上言い過ぎない」ということは成り立たないとするとあの給付行政は彼女らしい fact6: あの給付行政は言い過ぎれば「大差無くなくて消臭しない」ということは嘘だ fact7: 仮にあの給付行政は言い過ぎるとすると「大差無いし消臭しない」ということは嘘である fact8: その第二十八集は言い過ぎる fact9: あの給付行政は彼女らしい fact10: あの給付行政は言い過ぎる
fact6 & fact10 -> int1: 「あの給付行政は大差無くないしそれは消臭しない」ということは成り立たない; int1 & fact4 -> hypothesis;
fact6 & fact10 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact4 -> hypothesis;
「この人口当たりは白くないしそれは関知しない」ということは成り立たない
fact11 -> int2: この人口当たりは言い過ぎるとすれば「それは白くないしかつ関知するということはない」ということは成り立たない;
$facts$ = fact1: もし仮にあの給付行政が大差無いならばこの人口当たりは彼女らしい fact2: 「あの給付行政は大差無い一方で消臭しない」ということは成り立たない fact3: なにがしかのものは言い過ぎるなら「それは白くないし関知しない」ということは成り立たない fact4: もし仮に「あの給付行政は大差無いということはないし消臭しない」ということは事実と異なればこの人口当たりは彼女らしい fact5: 「この人口当たりは大差無いということはないしその上言い過ぎない」ということは成り立たないとするとあの給付行政は彼女らしい fact6: あの給付行政は言い過ぎれば「大差無くなくて消臭しない」ということは嘘だ fact7: 仮にあの給付行政は言い過ぎるとすると「大差無いし消臭しない」ということは嘘である fact8: その第二十八集は言い過ぎる fact9: あの給付行政は彼女らしい fact10: あの給付行政は言い過ぎる ; $hypothesis$ = この人口当たりは彼女らしくない ; $proof$ = 
fact6 & fact10 -> int1: 「あの給付行政は大差無くないしそれは消臭しない」ということは成り立たない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にあの給付行政が大差無いならばこの人口当たりは彼女らしい
事実2: 「あの給付行政は大差無い一方で消臭しない」ということは成り立たない
事実3: なにがしかのものは言い過ぎるなら「それは白くないし関知しない」ということは成り立たない
事実4: もし仮に「あの給付行政は大差無いということはないし消臭しない」ということは事実と異なればこの人口当たりは彼女らしい
事実5: 「この人口当たりは大差無いということはないしその上言い過ぎない」ということは成り立たないとするとあの給付行政は彼女らしい
事実6: あの給付行政は言い過ぎれば「大差無くなくて消臭しない」ということは嘘だ
事実7: 仮にあの給付行政は言い過ぎるとすると「大差無いし消臭しない」ということは嘘である
事実8: その第二十八集は言い過ぎる
事実9: あの給付行政は彼女らしい
事実10: あの給付行政は言い過ぎる

仮説: この人口当たりは彼女らしくない
1. 事実6と事実10から、推論1: "「あの給付行政は大差無くないしそれは消臭しない」ということは成り立たない"が導かれる
2. 推論1と事実4から、仮説が否定される

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