そのウェブ用は聡い
fact1: 仮に勧農が遠しないとするとそれは聡くない fact2: そのルゴール液はラインレートだ fact3: 仮になんらかの物はラインレートでないしおまけに説明し難くないとすると「それは聡い」ということは正しい fact4: そのウェブ用は遠しということはない fact5: 仮に格好悪い物はストライプ模様でないならそれは湛水するということはない fact6: 住み良いものは考え易い一方で打ち上がり易くない fact7: もしもそのルゴール液がラインレートであるとするとそのウェブ用は定期健康診断である fact8: 定期健康診断は勧農だけれど遠しない fact9: そのルゴール液は定期健康診断でない fact10: もしこの数値以外が聡いならばそれは定期健康診断だ
fact8 -> int1: 仮にそのウェブ用が定期健康診断であるならそれは勧農でかつ遠しない; fact7 & fact2 -> int2: そのウェブ用は定期健康診断である; int1 & int2 -> int3: そのウェブ用が勧農だけど遠しない; fact1 -> int4: そのウェブ用が勧農だけれど遠しないとすればそれは聡くない; int3 & int4 -> hypothesis;
fact8 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact7 & fact2 -> int2: {A}{aa}; int1 & int2 -> int3: ({AA}{aa} & ¬{AB}{aa}); fact1 -> int4: ({AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int3 & int4 -> hypothesis;
そのルゴール液は勧農だ一方で覇気でない
fact12 -> int5: 仮にこの数値以外はラインレートでなくて説明し難いということはないとすると聡い;
$facts$ = fact1: 仮に勧農が遠しないとするとそれは聡くない fact2: そのルゴール液はラインレートだ fact3: 仮になんらかの物はラインレートでないしおまけに説明し難くないとすると「それは聡い」ということは正しい fact4: そのウェブ用は遠しということはない fact5: 仮に格好悪い物はストライプ模様でないならそれは湛水するということはない fact6: 住み良いものは考え易い一方で打ち上がり易くない fact7: もしもそのルゴール液がラインレートであるとするとそのウェブ用は定期健康診断である fact8: 定期健康診断は勧農だけれど遠しない fact9: そのルゴール液は定期健康診断でない fact10: もしこの数値以外が聡いならばそれは定期健康診断だ ; $hypothesis$ = そのウェブ用は聡い ; $proof$ = 
fact8 -> int1: 仮にそのウェブ用が定期健康診断であるならそれは勧農でかつ遠しない; fact7 & fact2 -> int2: そのウェブ用は定期健康診断である; int1 & int2 -> int3: そのウェブ用が勧農だけど遠しない; fact1 -> int4: そのウェブ用が勧農だけれど遠しないとすればそれは聡くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に勧農が遠しないとするとそれは聡くない
事実2: そのルゴール液はラインレートだ
事実3: 仮になんらかの物はラインレートでないしおまけに説明し難くないとすると「それは聡い」ということは正しい
事実4: そのウェブ用は遠しということはない
事実5: 仮に格好悪い物はストライプ模様でないならそれは湛水するということはない
事実6: 住み良いものは考え易い一方で打ち上がり易くない
事実7: もしもそのルゴール液がラインレートであるとするとそのウェブ用は定期健康診断である
事実8: 定期健康診断は勧農だけれど遠しない
事実9: そのルゴール液は定期健康診断でない
事実10: もしこの数値以外が聡いならばそれは定期健康診断だ

仮説: そのウェブ用は聡い
1. 事実8から、推論1: "仮にそのウェブ用が定期健康診断であるならそれは勧農でかつ遠しない"が導かれる
2. 事実7と事実2から、推論2: "そのウェブ用は定期健康診断である"が導かれる
3. 推論1と推論2から、推論3: "そのウェブ用が勧農だけど遠しない"が導かれる
4. 事実1から、推論4: "そのウェブ用が勧農だけれど遠しないとすればそれは聡くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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