「とあるものは日直だということはない」ということは嘘だ
fact1: もしもそのＩＳＯサークル活動は輻湊でないとすると「その四反余りは決め兼ねるけど輻湊でない」ということは間違いである fact2: もしも「その四反余りは決め兼ねるけれど輻湊でない」ということは誤っているとすればそのツーは日直でない fact3: もし仮にこの化けの皮が規則正しくないならその四反余りは滴下しないかもしくは輻湊であるかもしくは両方だ fact4: もしもそのツーが輻湊でないならばそのＩＳＯサークル活動は日直でないかあるいはセッティングするかまたは両方ともだ fact5: この喫煙所は滴下しない fact6: この化けの皮は規則正しいかもしくはそれはセッティングする fact7: もし仮にその四反余りが決め兼ねないならばあのツーは日直でない fact8: この海軍司令部は輻湊でない fact9: もしその四反余りが決め兼ねないならこの化けの皮は輻湊でないかあるいは規則正しい fact10: なにがしかのものは規則正しくない fact11: もしこの喫煙所が滴下するということはないとすればこの化けの皮は規則正しいかあるいはセッティングするかあるいはどちらもである fact12: ある物は日直である fact13: この喫煙所はセッティングしない fact14: もし「その四反余りは決め兼ねるけれど規則正しくない」ということは成り立たないとすればそのＩＳＯサークル活動は輻湊でない fact15: 仮にこの喫煙所が滴下しないならこの化けの皮は規則正しくないかあるいはそれはセッティングするかもしくは両方である fact16: もし「この化けの皮は日直だけれど滴下しない」ということは真実でないならばあの喫煙所は規則正しくない fact17: 「「「滴下しない」ということは本当である」ものはある」ということは確かである fact18: 何らかの物は決め兼ねない fact19: もし仮にそのＩＳＯサークル活動は輻湊でないとすると「そのツーは日直であるが輻湊でない」ということは誤っている fact20: その四反余りは再発行しない fact21: この化けの皮が規則正しいということはないかセッティングするかあるいは両方ともならばそのＩＳＯサークル活動は輻湊でない fact22: この十二箇月間は滴下しない fact23: もし「この化けの皮は規則正しくない」ということは間違いでないとすればそのＩＳＯサークル活動は輻湊でない
fact15 & fact5 -> int1: この化けの皮は規則正しくないかもしくはセッティングするかあるいはどちらもだ; int1 & fact21 -> int2: そのＩＳＯサークル活動は輻湊でない; int2 & fact1 -> int3: 「その四反余りは決め兼ねるけど輻湊でない」ということは嘘だ; int3 & fact2 -> int4: そのツーは日直でない; int4 -> hypothesis;
$facts$ = fact1: もしもそのＩＳＯサークル活動は輻湊でないとすると「その四反余りは決め兼ねるけど輻湊でない」ということは間違いである fact2: もしも「その四反余りは決め兼ねるけれど輻湊でない」ということは誤っているとすればそのツーは日直でない fact3: もし仮にこの化けの皮が規則正しくないならその四反余りは滴下しないかもしくは輻湊であるかもしくは両方だ fact4: もしもそのツーが輻湊でないならばそのＩＳＯサークル活動は日直でないかあるいはセッティングするかまたは両方ともだ fact5: この喫煙所は滴下しない fact6: この化けの皮は規則正しいかもしくはそれはセッティングする fact7: もし仮にその四反余りが決め兼ねないならばあのツーは日直でない fact8: この海軍司令部は輻湊でない fact9: もしその四反余りが決め兼ねないならこの化けの皮は輻湊でないかあるいは規則正しい fact10: なにがしかのものは規則正しくない fact11: もしこの喫煙所が滴下するということはないとすればこの化けの皮は規則正しいかあるいはセッティングするかあるいはどちらもである fact12: ある物は日直である fact13: この喫煙所はセッティングしない fact14: もし「その四反余りは決め兼ねるけれど規則正しくない」ということは成り立たないとすればそのＩＳＯサークル活動は輻湊でない fact15: 仮にこの喫煙所が滴下しないならこの化けの皮は規則正しくないかあるいはそれはセッティングするかもしくは両方である fact16: もし「この化けの皮は日直だけれど滴下しない」ということは真実でないならばあの喫煙所は規則正しくない fact17: 「「「滴下しない」ということは本当である」ものはある」ということは確かである fact18: 何らかの物は決め兼ねない fact19: もし仮にそのＩＳＯサークル活動は輻湊でないとすると「そのツーは日直であるが輻湊でない」ということは誤っている fact20: その四反余りは再発行しない fact21: この化けの皮が規則正しいということはないかセッティングするかあるいは両方ともならばそのＩＳＯサークル活動は輻湊でない fact22: この十二箇月間は滴下しない fact23: もし「この化けの皮は規則正しくない」ということは間違いでないとすればそのＩＳＯサークル活動は輻湊でない ; $hypothesis$ = 「とあるものは日直だということはない」ということは嘘だ ; $proof$ = 
fact15 & fact5 -> int1: この化けの皮は規則正しくないかもしくはセッティングするかあるいはどちらもだ; int1 & fact21 -> int2: そのＩＳＯサークル活動は輻湊でない; int2 & fact1 -> int3: 「その四反余りは決め兼ねるけど輻湊でない」ということは嘘だ; int3 & fact2 -> int4: そのツーは日直でない; int4 -> hypothesis; __DISPROVED__
事実1: もしもそのＩＳＯサークル活動は輻湊でないとすると「その四反余りは決め兼ねるけど輻湊でない」ということは間違いである
事実2: もしも「その四反余りは決め兼ねるけれど輻湊でない」ということは誤っているとすればそのツーは日直でない
事実3: もし仮にこの化けの皮が規則正しくないならその四反余りは滴下しないかもしくは輻湊であるかもしくは両方だ
事実4: もしもそのツーが輻湊でないならばそのＩＳＯサークル活動は日直でないかあるいはセッティングするかまたは両方ともだ
事実5: この喫煙所は滴下しない
事実6: この化けの皮は規則正しいかもしくはそれはセッティングする
事実7: もし仮にその四反余りが決め兼ねないならばあのツーは日直でない
事実8: この海軍司令部は輻湊でない
事実9: もしその四反余りが決め兼ねないならこの化けの皮は輻湊でないかあるいは規則正しい
事実10: なにがしかのものは規則正しくない
事実11: もしこの喫煙所が滴下するということはないとすればこの化けの皮は規則正しいかあるいはセッティングするかあるいはどちらもである
事実12: ある物は日直である
事実13: この喫煙所はセッティングしない
事実14: もし「その四反余りは決め兼ねるけれど規則正しくない」ということは成り立たないとすればそのＩＳＯサークル活動は輻湊でない
事実15: 仮にこの喫煙所が滴下しないならこの化けの皮は規則正しくないかあるいはそれはセッティングするかもしくは両方である
事実16: もし「この化けの皮は日直だけれど滴下しない」ということは真実でないならばあの喫煙所は規則正しくない
事実17: 「「「滴下しない」ということは本当である」ものはある」ということは確かである
事実18: 何らかの物は決め兼ねない
事実19: もし仮にそのＩＳＯサークル活動は輻湊でないとすると「そのツーは日直であるが輻湊でない」ということは誤っている
事実20: その四反余りは再発行しない
事実21: この化けの皮が規則正しいということはないかセッティングするかあるいは両方ともならばそのＩＳＯサークル活動は輻湊でない
事実22: この十二箇月間は滴下しない
事実23: もし「この化けの皮は規則正しくない」ということは間違いでないとすればそのＩＳＯサークル活動は輻湊でない

仮説: 「とあるものは日直だということはない」ということは嘘だ
1. 事実15と事実5から、推論1: "この化けの皮は規則正しくないかもしくはセッティングするかあるいはどちらもだ"が導かれる
2. 推論1と事実21から、推論2: "そのＩＳＯサークル活動は輻湊でない"が導かれる
3. 推論2と事実1から、推論3: "「その四反余りは決め兼ねるけど輻湊でない」ということは嘘だ"が導かれる
4. 推論3と事実2から、推論4: "そのツーは日直でない"が導かれる
5. 推論4から、仮説が否定される

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