「この土中は貴方らしくない」ということは真実だ
fact1: 宜しくないものは貴方らしい fact2: もしも何らかのものが耕作するとするとそれは宜しくない fact3: そのインクルードＳが細かさでないならばそれは宜しいしおまけにうんちである fact4: 仮にある物が貴方らしくないなら誤解され易い fact5: その零九地点は耕作する fact6: この土中は耕作するし加えてそれは促進する fact7: この土中は促進する
fact6 -> int1: この土中は耕作する; fact2 -> int2: もしもこの土中が耕作するとしたら宜しくない; int1 & int2 -> int3: この土中は宜しくない; fact1 -> int4: もしもこの土中が宜しくないなら貴方らしい; int3 & int4 -> hypothesis;
この土中は貴方らしいということはない
$facts$ = fact1: 宜しくないものは貴方らしい fact2: もしも何らかのものが耕作するとするとそれは宜しくない fact3: そのインクルードＳが細かさでないならばそれは宜しいしおまけにうんちである fact4: 仮にある物が貴方らしくないなら誤解され易い fact5: その零九地点は耕作する fact6: この土中は耕作するし加えてそれは促進する fact7: この土中は促進する ; $hypothesis$ = 「この土中は貴方らしくない」ということは真実だ ; $proof$ = 
fact6 -> int1: この土中は耕作する; fact2 -> int2: もしもこの土中が耕作するとしたら宜しくない; int1 & int2 -> int3: この土中は宜しくない; fact1 -> int4: もしもこの土中が宜しくないなら貴方らしい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 宜しくないものは貴方らしい
事実2: もしも何らかのものが耕作するとするとそれは宜しくない
事実3: そのインクルードＳが細かさでないならばそれは宜しいしおまけにうんちである
事実4: 仮にある物が貴方らしくないなら誤解され易い
事実5: その零九地点は耕作する
事実6: この土中は耕作するし加えてそれは促進する
事実7: この土中は促進する

仮説: 「この土中は貴方らしくない」ということは真実だ
1. 事実6から、推論1: "この土中は耕作する"が導かれる
2. 事実2から、推論2: "もしもこの土中が耕作するとしたら宜しくない"が導かれる
3. 推論1と推論2から、推論3: "この土中は宜しくない"が導かれる
4. 事実1から、推論4: "もしもこの土中が宜しくないなら貴方らしい"が導かれる
5. 推論3と推論4から、仮説が否定される

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