その七分立てはリフレッシュ出来る
fact1: 「もしその灰汁が生焼けだとするとその灰汁はＵＳスチールである」ということは真実である fact2: もしもその灰汁がＵＳスチールであるしその上エコロジーショップｇＡＩａだとしたらこの第一学年は胸苦しくない fact3: その灰汁は生焼けである fact4: もし「あの成熟経済は公布・施行する」ということは成り立てばその灰汁はエコロジーショップＧＡＩＡである fact5: もしあの成熟経済がホットミルクであるとすればあの灰汁はエコロジーショップＧＡＩＡだ fact6: あの成熟経済は公布・施行するかあるいはそれはホットミルクであるか両方だ fact7: 「この第一学年は胸苦しくない」ということは成り立つとすれば「その計測器管理規定はセルフ・レファレンスだということはないがそれはぱたぱたする」ということは成り立たない fact8: もし「その計測器管理規定はセルフ・レファレンスでないがそれはぱたぱたする」ということは成り立つということはないならその七分立てはリフレッシュ出来る
fact6 & fact4 & fact5 -> int1: その灰汁はエコロジーショップＧＡＩＡである; fact3 & fact1 -> int2: その灰汁はＵＳスチールだ; int1 & int2 -> int3: その灰汁はＵＳスチールでそれはエコロジーショップＧＡＩＡである; int3 & fact2 -> int4: 「この第一学年は胸苦しくない」ということは真実である; int4 & fact7 -> int5: 「その計測器管理規定はセルフ・レファレンスでないけどぱたぱたする」ということは間違いだ; int5 & fact8 -> hypothesis;
$facts$ = fact1: 「もしその灰汁が生焼けだとするとその灰汁はＵＳスチールである」ということは真実である fact2: もしもその灰汁がＵＳスチールであるしその上エコロジーショップｇＡＩａだとしたらこの第一学年は胸苦しくない fact3: その灰汁は生焼けである fact4: もし「あの成熟経済は公布・施行する」ということは成り立てばその灰汁はエコロジーショップＧＡＩＡである fact5: もしあの成熟経済がホットミルクであるとすればあの灰汁はエコロジーショップＧＡＩＡだ fact6: あの成熟経済は公布・施行するかあるいはそれはホットミルクであるか両方だ fact7: 「この第一学年は胸苦しくない」ということは成り立つとすれば「その計測器管理規定はセルフ・レファレンスだということはないがそれはぱたぱたする」ということは成り立たない fact8: もし「その計測器管理規定はセルフ・レファレンスでないがそれはぱたぱたする」ということは成り立つということはないならその七分立てはリフレッシュ出来る ; $hypothesis$ = その七分立てはリフレッシュ出来る ; $proof$ = 
fact6 & fact4 & fact5 -> int1: その灰汁はエコロジーショップＧＡＩＡである; fact3 & fact1 -> int2: その灰汁はＵＳスチールだ; int1 & int2 -> int3: その灰汁はＵＳスチールでそれはエコロジーショップＧＡＩＡである; int3 & fact2 -> int4: 「この第一学年は胸苦しくない」ということは真実である; int4 & fact7 -> int5: 「その計測器管理規定はセルフ・レファレンスでないけどぱたぱたする」ということは間違いだ; int5 & fact8 -> hypothesis; __PROVED__
事実1: 「もしその灰汁が生焼けだとするとその灰汁はＵＳスチールである」ということは真実である
事実2: もしもその灰汁がＵＳスチールであるしその上エコロジーショップｇＡＩａだとしたらこの第一学年は胸苦しくない
事実3: その灰汁は生焼けである
事実4: もし「あの成熟経済は公布・施行する」ということは成り立てばその灰汁はエコロジーショップＧＡＩＡである
事実5: もしあの成熟経済がホットミルクであるとすればあの灰汁はエコロジーショップＧＡＩＡだ
事実6: あの成熟経済は公布・施行するかあるいはそれはホットミルクであるか両方だ
事実7: 「この第一学年は胸苦しくない」ということは成り立つとすれば「その計測器管理規定はセルフ・レファレンスだということはないがそれはぱたぱたする」ということは成り立たない
事実8: もし「その計測器管理規定はセルフ・レファレンスでないがそれはぱたぱたする」ということは成り立つということはないならその七分立てはリフレッシュ出来る

仮説: その七分立てはリフレッシュ出来る
1. 事実6と事実4と事実5から、推論1: "その灰汁はエコロジーショップＧＡＩＡである"が導かれる
2. 事実3と事実1から、推論2: "その灰汁はＵＳスチールだ"が導かれる
3. 推論1と推論2から、推論3: "その灰汁はＵＳスチールでそれはエコロジーショップＧＡＩＡである"が導かれる
4. 推論3と事実2から、推論4: "「この第一学年は胸苦しくない」ということは真実である"が導かれる
5. 推論4と事実7から、推論5: "「その計測器管理規定はセルフ・レファレンスでないけどぱたぱたする」ということは間違いだ"が導かれる
6. 推論5と事実8から、仮説が導かれる

よって、仮説が証明されました。